Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking

1. Rustam Galimullin(University of Bergen, Bergen, Norway)
2. Wojciech Jamroga(Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland, Institute of Advanced Studies, Nicolaus Copernicus University in Torun, Poland)
3. Damian Kurpiewski(Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland, Institute of Advanced Studies, Nicolaus Copernicus University in Torun, Poland)
4. Vadim Malvone(Télécom Paris, Institut Polytechnique de Paris)
5. Aniello Murano(University of Naples Federico II, Naples, Italy)

@inproceedings{KR2026-32,
    title     = {{Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking}},
    author    = {Galimullin, Rustam and Jamroga, Wojciech and Kurpiewski, Damian and Malvone, Vadim and Murano, Aniello},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {340--345},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/32},
    url       = {https://doi.org/10.24963/kr.2026/32},
  }