{"type":"ScholarlyArticle","title":"NatSTV: Towards Verification of Natural Strategic Ability","authors":[{"name":"Mateusz Kamiński","slug":"mateusz-kaminski","given":"Mateusz","family":"Kamiński","affiliation":""},{"name":"Damian Kurpiewski","slug":"damian-kurpiewski","given":"Damian","family":"Kurpiewski","affiliation":""},{"name":"Wojciech Jamroga","slug":"wojciech-jamroga","given":"Wojciech","family":"Jamroga","affiliation":""}],"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.","doi":"10.24963/ijcai.2025/1265","url":"https://ijcai.org/proceedings/2025/1265","pdf":"https://ijcai.org/proceedings/2025/1265.pdf","markdown":"https://ijcai.org/proceedings/2025/1265.md","bibtex":"https://ijcai.org/proceedings/2025/bibtex/1265","volume":{"slug":"2025","title":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2025","url":"https://ijcai.org/proceedings/2025/","year":2025,"location":"Montreal, Canada","dates":"16-22 August 2025","editors":"James Kwok","isbn":"978-1-956792-06-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2025"},"section":"Demo Track","track":"Demo Track","number":1265,"pages":{"first":11072,"last":11076},"keywords":["Agent-based and Multi-agent Systems: MAS: Formal verification, validation and synthesis"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}