10 papers
The Complexity of Verifying Strategic Abilities in Succinct Multiagent Systems
Yifan He, Munyque Mittelmann, Aniello Murano +1
This paper studies the complexity of model checking strategic abilities in multiagent systems under imperfect information, in particular systems represented succinctly. Such a repr…
I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
Rustam Galimullin, Hermine Grosinger, Munyque Mittelmann
Autonomous agents acting in realistic Multi-Agent Systems (MAS) should be able to adapt during their execution. Standard strategic logics, such as Alternating-time Temporal Logic (…
Verification of Robust Multi-Agent Systems
Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann +1
Stochastic multi-agent systems are a central modeling framework for autonomous controllers, communication protocols, and cyber-physical infrastructures. In many such systems, howev…
On Angels and Demons: Strategic (De)Construction of Dynamic Models
Davide Catta, Rustam Galimullin, Munyque Mittelmann
In recent years, there has been growing interest in logics that formalise strategic reasoning about agents capable of modifying the structure of a given model. This line of researc…
Formal Verification of Diffusion Auctions
Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel
In diffusion auctions, sellers can leverage an underlying social network to broaden participation, thereby increasing their potential revenue. Specifically, sellers can incentivise…
Repairing General Game Descriptions (extended version)
Yifan He, Munyque Mittelmann, Aniello Murano +2
The Game Description Language (GDL) is a widely used formalism for specifying the rules of general games. Writing correct GDL descriptions can be challenging, especially for non-ex…
Inquisitive Team Semantics of LTL
Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann +1
In this paper, we introduce a novel team semantics of LTL inspired by inquisitive logic. The main features of the resulting logic, we call InqLTL, are the intuitionistic interpreta…
Rational Capability in Concurrent Games
Yinfeng Li, Emiliano Lorini, Munyque Mittelmann
We extend concurrent game structures (CGSs) with a simple notion of preference over computations and define a minimal notion of rationality for agents based on the concept of domin…
Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
Rustam Galimullin, Maksim Gladyshev, Munyque Mittelmann +1
The design and application of multi-agent systems (MAS) require reasoning about the effects of modifications on their underlying structure. In particular, such changes may impact t…
Natural Strategic Ability in Stochastic Multi-Agent Systems
Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann +1
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-Agent Sy…