We investigate the verification of Multi-Agent Systems against strategic properties expressed
in Alternating-time Temporal Logic under the assumptions of imperfect information and …

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 …

In this paper, we propose a decidable single-agent modal logic for reasoning about goal-
directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and …

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 …

Epistemic logic has become a major field of philosophical logic ever since the
groundbreaking work by Hintikka [58]. Despite its various successful applications in …

In epistemic logic, a key formal theory for reasoning about knowledge in AI and other fields,
different notions of group knowledge describe different ways in which knowledge can be …

A central concept in the specification and verification of autonomous systems and multiagent
systems is the notion of responsibility. From a design perspective, ascribing responsibility to …

In this paper, we propose a single-agent logic of goal-directed knowing how extending the
standard epistemic logic of knowing that with a new knowing how operator. The semantics of …

Abstract Model checking of strategic ability under imperfect information is known to be hard.
The complexity results range from NP-completeness to undecidability, depending on the …

Abstract Model checking multi-agent systems, in which agents are distributed and thus may
have different observations of the world, against strategic behaviours is known to be a …