IJCAI 2023poster5 citations
Practical Model Reductions for Verification of Multi-Agent Systems
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.
Agent-based and Multi-agent Systems: MAS: Engineering methods, platforms, languages and toolsAgent-based and Multi-agent Systems: MAS: ApplicationsAgent-based and Multi-agent Systems: MAS: Formal verification, validation and synthesis
BibTeX
@inproceedings{ijcai2023p834,
title = {Practical Model Reductions for Verification of Multi-Agent Systems},
author = {Jamroga, Wojciech and Kim, Yan},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI-23}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Edith Elkind},
pages = {7135--7139},
year = {2023},
month = {8},
note = {Demo Track},
doi = {10.24963/ijcai.2023/834},
url = {https://doi.org/10.24963/ijcai.2023/834},
}