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

Kirwan, R., 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/
URI: https://researchdata.gla.ac.uk/id/eprint/310

Available Files

Data

Documentation

Read me

Repository Staff Only: Update this record

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

University of Glasgow

DOI: 10.5525/gla.researchdata.310

Retrieved: 2024-12-03

Downloads

Downloads per month over past year