Ivaylo Valkov

According to our database, Ivaylo Valkov authored at least 5 papers between 2021 and 2025.

Collaborative distances:

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

2025

Model checking with memoisation for fast overtaking planning.

Alice Miller, Bernd Porr, Ivaylo Valkov, Douglas Fraser, Daumantas Pagojus

Sci. Comput. Program., 2025

2024

Implementing the MOLS Table for n Up to 500.

Alice Miller, R. Julian R. Abel, Ivaylo Valkov, Douglas Fraser

Symmetry, 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