Ivaylo Valkov

According to our database, Ivaylo Valkov authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking.

Ivaylo Valkov, Alastair F. Donaldson, Alice Miller

Proceedings of the Model Checking Software - 30th International Symposium, 2024

2021

Breakout Group Allocation Schedules and the Social Golfer Problem with Adjacent Group Sizes.

Alice Miller, Matthew Barr, William Kavanagh, Ivaylo Valkov, Helen C. Purchase

Symmetry, 2021

Simulation and Model Checking for Close to Realtime Overtaking Planning.

Daumantas Pagojus, Alice Miller, Bernd Porr, Ivaylo Valkov

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021