arXiv
Open Access
2023
Practical Model Reductions for Verification of Multi-Agent Systems
Wojciech Jamroga
Yan Kim
Abstrak
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.
Topik & Kata Kunci
Penulis (2)
W
Wojciech Jamroga
Y
Yan Kim
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2023
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓