Decidability of model checking multi-agent systems against some EHS specifications (2014)

First Author: Lomuscio A
Attributed to:  Trusted Autonomous Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Volume: N/A

Parent Publication: 21st European Conference on Artificial Intelligence (ECAI14)