Number of items: 3.
Articles
Miller, A. , Barr, M. , Kavanagh, W. , Valkov, I. and Purchase, H. C.
(2021)
Breakout group allocation schedules and the social golfer problem with adjacent group sizes.
Symmetry, 13(1),
13.
(doi: 10.3390/sym13010013)
Conference Proceedings
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)
Valkov, I. and Miller, A.
(2019)
Using Model Checking in the Design of a Sensor Network Protocol.
In: 26th Automated Reasoning Workshop (ARW 2019), London, UK, 02-03 Sep 2019,
pp. 17-18.
This list was generated on Sat Oct 19 18:16:59 2024 BST.