Parameterised verification of infinite state multi-agent systems via predicate abstraction (2017)
Attributed to:
Trusted Autonomous Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Other
Parent Publication: 31st AAAI Conference on Artificial Intelligence, AAAI 2017