Model checking learning agent systems using Promela with embedded C code and abstraction

Kirwan, R. and Miller, A. and Porr, B. (2016) Model checking learning agent systems using Promela with embedded C code and abstraction. [Data Collection]

College / School: College of Science and Engineering > School of Computing Science
College of Science and Engineering > School of Engineering > Biomedical Engineering
Date Deposited: 27 Apr 2016 15:06
Enlighten Publications URL: http://eprints.gla.ac.uk/118815/
Retention date: 27 April 2026
URI: http://researchdata.gla.ac.uk/id/eprint/310

Available Files

Data

Documentation

Read me

Repository Staff Only: Update this record

Kirwan, R. and Miller, A. and Porr, B. (2016); Model checking learning agent systems using Promela with embedded C code and abstraction

University of Glasgow

10.5525/gla.researchdata.310

Retrieved: 2017-09-22

Downloads

Downloads per month over past year