Hoffmann, R., Ireland, M., Miller, A., Norman, G. and Veres, S. (2016) Autonomous Agent Behaviour Modelled in PRISM: A Case Study. [Data Collection]
Datacite DOI: 10.5525/gla.researchdata.274
Related Enlighten Publications
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 |
Repository Staff Only: Update this record