NatSTV: Towards Verification of Natural Strategic Ability

NatSTV: Towards Verification of Natural Strategic Ability

Mateusz Kamiński, Damian Kurpiewski, Wojciech Jamroga

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence
Demo Track. Pages 11072-11076. https://doi.org/10.24963/ijcai.2025/1265

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.
Keywords:
Agent-based and Multi-agent Systems: MAS: Formal verification, validation and synthesis