The University of Glasgow uses cookies for analytics. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Clarity helps us to understand our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
telephone:
01413304454
email:
Ivaylo.Valkov@glasgow.ac.uk
Room S133, Computing Science, 13 Lilybank Gardens, Glasgow, G12 8QQ
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, pp. 49-66. ISBN 9783031661488 (doi: 10.1007/978-3-031-66149-5_3)
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)
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)
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.
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)
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, pp. 49-66. ISBN 9783031661488 (doi: 10.1007/978-3-031-66149-5_3)
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.
https://orcid.org/0000-0003-1116-875X