Decidability of model checking multi-agent systems against some EHS specifications (2014)
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)