Practical Model Reductions for Verification of Multi-Agent Systems
Multiagent Systems
2023-10-19 v2
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.
Cite
@article{arxiv.2307.10068,
title = {Practical Model Reductions for Verification of Multi-Agent Systems},
author = {Wojciech Jamroga and Yan Kim},
journal= {arXiv preprint arXiv:2307.10068},
year = {2023}
}