Davies, V. , Wandy, J., Weidt, S., van der Hooft, J., Miller, A. , Daly, R. and Rogers, S. (2021) Rapid Development of Improved Data-Dependent Acquisition Strategies. [Data Collection]

Kavanagh, W. , Wallis, T. and Miller, A. (2020) RPGLite player data and lookup tables. [Data Collection]

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

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