Verifying autonomous systems
- 1 September 2013
- journal article
- review article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 56 (9), 84-93
- https://doi.org/10.1145/2500468.2494558
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Model checking agent programming languagesAutomated Software Engineering, 2011
- Verifying Multi-agent Programs by Model CheckingAutonomous Agents and Multi-Agent Systems, 2006