Search
 
loader loading subjects...
cover
STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems
Damian Kurpiewski, Mateusz Kamiński, Wojciech Jamroga
4483 - 4486
10.3233/FAIA241035
Research Article
Frontiers in Artificial Intelligence and Applications
Volume 392: ECAI 2024
Abstract

In this paper, we present a substantially enhanced version of our software tool STV (STrategic Verifier), dedicated to strategy synthesis and model checking of strategic abilities in multi-agent systems. The new extension, called STV+FLY, incorporates an advanced strategy synthesis algorithm that enables model checking with on-the-fly generation of the global model. This innovative approach allows for the verification of some strategic properties without generating the entire global state space, thus avoiding an important bottleneck and significantly improving the efficiency.

Download
Creative Commons License