EPMC Gets Knowledge in Multi-agent Systems
No abstract available.
DOI 10.1007/978-3-030-94583-1_5
Related papers
- Interpreting Knowledge-based Programs ESOP 2023
- Adaptive Shielding via Parametric Safety Proofs OOPSLA 2025
- MCMAS: A Model Checker for Multi-agent Systems TACAS 2006
- Reachability in Multi-agent Transfer Systems VMCAI 2026
- Compositional Synthesis of Reactive Controllers for Multi-agent Systems CAV 2016
- MCMAS: A Model Checker for the Verification of Multi-Agent Systems CAV 2009
- Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios CAV 2023
- Multi-agent Safety Verification Using Symmetry Transformations TACAS 2020