NatSTV: Towards Verification of Natural Strategic Ability

Kamiński, Mateusz; Kurpiewski, Damian; Jamroga, Wojciech

doi:10.24963/ijcai.2025/1265

NatSTV: Towards Verification of Natural Strategic Ability

Mateusz Kamiński, Damian Kurpiewski, Wojciech Jamroga

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Demo Track. Pages 11072-11076.

https://doi.org/10.24963/ijcai.2025/1265

Keywords

Agent-based and Multi-agent Systems: MAS: Formal verification, validation and synthesis

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.

Mateusz Kamiński, Damian Kurpiewski, and Wojciech Jamroga. 2025. NatSTV: Towards Verification of Natural Strategic Ability. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 11072–11076. https://doi.org/10.24963/ijcai.2025/1265

@inproceedings{ijcai2025p1265,
  title     = {NatSTV: Towards Verification of Natural Strategic Ability},
  author    = {Kamiński, Mateusz and Kurpiewski, Damian and Jamroga, Wojciech},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {11072--11076},
  year      = {2025},
  month     = {8},
  note      = {Demo Track},
  doi       = {10.24963/ijcai.2025/1265},
  url       = {https://doi.org/10.24963/ijcai.2025/1265},
}

TY  - CPAPER
TI  - NatSTV: Towards Verification of Natural Strategic Ability
AU  - Kamiński, Mateusz
AU  - Kurpiewski, Damian
AU  - Jamroga, Wojciech
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 11072
EP  - 11076
DO  - 10.24963/ijcai.2025/1265
UR  - https://doi.org/10.24963/ijcai.2025/1265
ER  -