Autonomous Agent Behaviour Modelled in PRISM - A Case Study
Attributed to:
Verifiable Autonomy
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.spin2016.info/?utm_source=researchbib
Type: Conference/Paper/Proceeding/Abstract