59 citations · 249 across the 42 of their papers we have counts for
47 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…
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…
First-Order Coalition Logic
Davide Catta, Rustam Galimullin, Aniello Murano
We introduce First-Order Coalition Logic (), which combines key intuitions behind Coalition Logic () and Strategy Logic (). Specifically, $…
A Model Checker for Natural Strategic Ability
Marco Aruta, Vadim Malvone, Aniello Murano
In the last two decades, Alternating-time Temporal Logic (ATL) has been proved to be very useful in modeling strategic reasoning for Multi-Agent Systems (MAS). However, this logic…
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…
Strategic Abilities of Forgetful Agents in Stochastic Environments
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann +1
In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL* under imperfect information. Specifically, we present novel decidability and complexity…