Ivaylo Valkov

Orcid: 0000-0003-1116-875X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking.
Proceedings of the Model Checking Software - 30th International Symposium, 2024

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

Simulation and Model Checking for Close to Realtime Overtaking Planning.
Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021


  Loading...