Comparing variants of strategic ability: how uncertainty and memory influence general properties of games
Alternating-time temporal logic (ATL) is a modal logic that allows to reason about agents'
abilities in game-like scenarios. Semantic variants of ATL are usually built upon different …
abilities in game-like scenarios. Semantic variants of ATL are usually built upon different …
Combining quantitative and qualitative reasoning in concurrent multi-player games
We propose a general framework for modelling and formal reasoning about multi-agent
systems and, in particular, multi-stage games where both quantitative and qualitative …
systems and, in particular, multi-stage games where both quantitative and qualitative …
Reasoning about human-friendly strategies in repeated keyword auctions
F Belardinelli, W Jamroga, V Malvone… - arXiv preprint arXiv …, 2022 - arxiv.org
In online advertising, search engines sell ad placements for keywords continuously through
auctions. This problem can be seen as an infinitely repeated game since the auction is …
auctions. This problem can be seen as an infinitely repeated game since the auction is …
[PDF][PDF] Resource-bounded alternating-time temporal logic
Many problems in AI and multi-agent systems research are most naturally formulated in
terms of the abilities of a coalition of agents. There exist several excellent logical tools for …
terms of the abilities of a coalition of agents. There exist several excellent logical tools for …
Techniques for modelling and verifying railway interlockings
We describe a novel framework for modelling railway interlockings which has been
developed in conjunction with railway engineers. The modelling language used is CSP|||| B …
developed in conjunction with railway engineers. The modelling language used is CSP|||| B …
On the (un-) decidability of model checking resource-bounded agents
N Bulling, B Farwer - ECAI 2010, 2010 - ebooks.iospress.nl
The verification and modelling of multi-agent systems is an important topic that has attracted
much attention in recent years. Resources, however, have only recently been studied as …
much attention in recent years. Resources, however, have only recently been studied as …
[HTML][HTML] Natural strategic ability
In game theory, as well as in the semantics of game logics, a strategy can be represented by
any function from states of the game to the agent's actions. That makes sense from the …
any function from states of the game to the agent's actions. That makes sense from the …
Coalition logic with individual, distributed and common knowledge
T Ågotnes, N Alechina - Journal of Logic and Computation, 2019 - academic.oup.com
Coalition logic is currently one of the most popular logics for multi-agent systems. While
logics combining coalitional and epistemic operators have received considerable attention …
logics combining coalitional and epistemic operators have received considerable attention …
[PDF][PDF] Natural strategic ability under imperfect information
Game theory provides a powerful mathematical framework to reason about the interaction of
autonomous, purposeful agents. It has seen numerous applications in robotics, computer …
autonomous, purposeful agents. It has seen numerous applications in robotics, computer …
State of the art in logics for verification of resource-bounded multi-agent systems
N Alechina, B Logan - Fields of Logic and Computation III: Essays …, 2020 - Springer
Approaches to the verification of multi-agent systems are typically based on games or
transition systems defined in terms of states and actions. However such approaches often …
transition systems defined in terms of states and actions. However such approaches often …