Distributed BDD-based BMC for the verification of multi-agent systems (2010)
Attributed to:
Trusted Autonomous Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Other
Volume: 2
Parent Publication: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
ISSN: 15582914 15488403