Distributed BDD-based BMC for the verification of multi-agent systems (2010)

First Author: Jones A.V.
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