We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii
and study its model-checking problem. As this logic naturally captures multi-player games …

The model checking problem for multi-agent systems against specifications in the alternating-
time temporal logic ATL, hence ATL∗, under perfect recall and imperfect information is …

We study teams of agents that play against Nature towards achieving a common objective.
The agents are assumed to have imperfect information due to partial observability, and have …

We analyse the verification problem for synchronous, perfect recall multi-agent systems with
imperfect information against a specification language that includes strategic as well as …

In this paper we introduce Strategy Logic with Simple Goals (SL [SG]), a fragment of Strategy
Logic that strictly extends Alternating-time Temporal Logic ATL by introducing arbitrary …

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 …

Strategies synthesized using formal methods can be complex and often require infinite
memory, which does not correspond to the expected behavior when trying to model Multi …

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 …

Game theory provides a powerful mathematical framework to reason about the interaction of
autonomous, purposeful agents. It has seen numerous applications in robotics, computer …

We investigate the notion of bounded recall in the context of model checking AT L* and AT L
specifications in multiagent systems with imperfect information. We present a novel three …