Comparing variants of strategic ability: how uncertainty and memory influence general properties of games

N Bulling, W Jamroga - Autonomous agents and multi-agent systems, 2014 - Springer
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 …

Reasoning about quality and fuzziness of strategic behaviors

P Bouyer, O Kupferman, N Markey, B Maubert… - ACM Transactions on …, 2023 - dl.acm.org
Temporal logics are extensively used for the specification of on-going behaviors of computer
systems. Two significant developments in this area are the extension of traditional temporal …

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 …

Techniques for modelling and verifying railway interlockings

P James, F Moller, HN Nguyen, M Roggenbach… - International Journal on …, 2014 - Springer
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 …

[PDF][PDF] Reasoning about quality and fuzziness of strategic behaviours

P Bouyer, O Kupferman, N Markey, B Maubert… - ECAI 2020, 2020 - ebooks.iospress.nl
One of the significant developments in formal reasoning has been the use of temporal logics
for the specification of on-going behaviours of reactive systems [4, 5]. Traditional temporal …

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 …

[HTML][HTML] Natural strategic ability

W Jamroga, V Malvone, A Murano - Artificial Intelligence, 2019 - Elsevier
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 …

Exploring the effects of computational costs in extensive games via modeling and simulation

C Liu, E Zhu, Q Zhang, X Wei - International Journal of …, 2021 - Wiley Online Library
Game theory has become a standard tool for depicting and demonstrating various game‐
like phenomena by providing appropriate mathematical models and for analyzing and …

[PDF][PDF] On module checking and strategies

W Jamroga, A Murano - … of the 2014 international conference on …, 2014 - ifaamas.org
Two decision problems are very close in spirit: module checking of CTL/CTL* and model
checking of ATL/ATL*. The latter appears to be a natural multi-agent extension of the former …

[PDF][PDF] Natural strategic ability under imperfect information

W Jamroga, V Malvone, A Murano - 18th International Conference on …, 2019 - orbilu.uni.lu
Game theory provides a powerful mathematical framework to reason about the interaction of
autonomous, purposeful agents. It has seen numerous applications in robotics, computer …