Autonomous Agent Behaviour Modelled in PRISM: A Case Study

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

Funding:
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/
URI: https://researchdata.gla.ac.uk/id/eprint/274

Available Files

Data

Read me

Repository Staff Only: Update this record

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

University of Glasgow

DOI: 10.5525/gla.researchdata.274

Retrieved: 2024-04-19

Downloads

Downloads per month over past year