ML Anthology

Practical Model Reductions for Verification of Multi-Agent Systems

Wojciech Jamroga, Yan Kim
IJCAI 2023 pp. 7135-7139
doi:10.24963/IJCAI.2023/834 /ijcai/2023/jamroga2023ijcai-practical/

Abstract

Formal verification of intelligent agents is often computationally infeasible due to state-space explosion. We present a tool for reducing the impact of the explosion by means of state abstraction that is (a) easy to use and understand by non-experts, and (b) agent-based in the sense that it operates on a modular representation of the system, rather than on its huge explicit state model.

PDF IJCAI Semantic Scholar

Cite

Text

Jamroga and Kim. "Practical Model Reductions for Verification of Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/834

Markdown

[Jamroga and Kim. "Practical Model Reductions for Verification of Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/jamroga2023ijcai-practical/) doi:10.24963/IJCAI.2023/834

BibTeX

@inproceedings{jamroga2023ijcai-practical,
  title     = {{Practical Model Reductions for Verification of Multi-Agent Systems}},
  author    = {Jamroga, Wojciech and Kim, Yan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {7135-7139},
  doi       = {10.24963/IJCAI.2023/834},
  url       = {https://mlanthology.org/ijcai/2023/jamroga2023ijcai-practical/}
}