Autonomous Agent Behaviour Modelled in PRISM: A Case Study

Hoffmann, R. and Ireland, M. and Miller, A. and Norman, G. and Veres, S. (2016) Autonomous Agent Behaviour Modelled in PRISM: A Case Study. [Data Collection]

College / School: College of Science and Engineering > School of Computing Science
Date Deposited: 22 Feb 2016 10:11
Enlighten Publications URL: http://eprints.gla.ac.uk/116593/
Retention date: 22 February 2026
Funder's Name: Engineering & Physical Sciences Research Council (EPSRC)
URI: http://researchdata.gla.ac.uk/id/eprint/274

Available Files

Data

Read me

Repository Staff Only: Update this record

Hoffmann, R. and Ireland, M. and Miller, A. and Norman, G. and Veres, S. (2016); Autonomous Agent Behaviour Modelled in PRISM: A Case Study

University of Glasgow

10.5525/gla.researchdata.274

Retrieved: 2017-09-22

Downloads

Downloads per month over past year