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 …

In multi-agent system design and reasoning, strategy logics and formal verification play
pivotal roles. Numerous logic formalisms have been introduced alongside the …

Abstract Multi-Agent Systems (MAS) are notoriously complex and hard to verify. In fact, it is
not trivial to model a MAS, and even when a model is built, it is not always possible to verify …

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 …

Security properties are often focused on the technological side of the system. One implicitly
assumes that the users will behave in the right way to preserve the property at hand. In real …

In this perspective paper, we propose different formalizations of games that are played over
Attack Graphs between an Attacker and a Defender. In all such games we propose a formal …

System Verification. Over the course of the past half-century, researchers have been driven
to create a multitude of verification techniques for software and hardware systems, all with …