NatSTV: Towards Verification of Natural Strategic Ability

Download PDF
Open Webpage

Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga

Published: 01 Jan 2025, Last Modified: 04 Oct 2025IJCAI 2025EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We present NatSTV, a tool for approximate verification of natural strategic ability in multi-agent systems. The tool builds on our model checker STV (STrategic Verifier), and implements heuristic synthesis of natural strategies for asynchronous agents with imperfect information and recall. All of that is available through a web interface, with no need to install or configure the software by the user.