4 citations · 19 across the 22 of their papers we have counts for
4 papers · 1 filter
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…
Scalable Verification of Strategy Logic through Three-valued Abstraction
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga +2
The model checking problem for multi-agent systems against Strategy Logic specifications is known to be non-elementary. On this logic several fragments have been defined to tackle…
Reasoning about Intuitionistic Computation Tree Logic
Davide Catta, Vadim Malvone, Aniello Murano
In this paper, we define an intuitionistic version of Computation Tree Logic. After explaining the semantic features of intuitionistic logic, we examine how these characteristics c…
Robust Alternating-Time Temporal Logic
Aniello Murano, Daniel Neider, Martin Zimmermann
In multi-agent system design, a crucial aspect is to ensure robustness, meaning that for a coalition of agents A, small violations of adversarial assumptions only lead to small vio…