Valkov, I., Donaldson, A. and Miller, A. (2024) Synchronisation in Language-level Symmetry Reduction for Probabilistic Model Checking. In: 30th International SPIN symposium on Model Checking of Software (SPIN 2024), Luxembourg, 10-11 Apr 2024, (Accepted for Publication)

Chandler, C. , Porr, B. , Miller, A. and Lafratta, G. (2023) Model Checking for Closed-Loop Robot Reactive Planning. In: Fifth Workshop on Formal Methods for Autonomous Systems (FMAS 2023), Leiden, The Netherlands, 15-16 November 2023, pp. 77-94.

Louloudakis, N., Gibson, P. , Cano Reyes, J. and Rajan, A. (2023) DeltaNN: Assessing the Impact of Computational Environment Parameters on the Performance of Image Recognition Models. In: 39th IEEE International Conference on Software Maintenance and Evolution (ICSME 2023), Bogota, Columbia, 1-6 Oct 2023, (Accepted for Publication)

Pagojus, D., Miller, A. , Porr, B. and Valkov, I. (2021) Simulation and Model Checking for Close to Real-time Overtaking Planning. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS2021), 21-22 Oct 2021, pp. 20-37. (doi: 10.4204/EPTCS.348.2)