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
