NatSTV: Towards Verification of Natural Strategic Ability
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.
Cite
Text
Kaminski et al. "NatSTV: Towards Verification of Natural Strategic Ability." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/1265Markdown
[Kaminski et al. "NatSTV: Towards Verification of Natural Strategic Ability." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/kaminski2025ijcai-natstv/) doi:10.24963/IJCAI.2025/1265BibTeX
@inproceedings{kaminski2025ijcai-natstv,
title = {{NatSTV: Towards Verification of Natural Strategic Ability}},
author = {Kaminski, Mateusz and Kurpiewski, Damian and Jamroga, Wojciech},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {11072-11076},
doi = {10.24963/IJCAI.2025/1265},
url = {https://mlanthology.org/ijcai/2025/kaminski2025ijcai-natstv/}
}