Volodymyr Drobitko

According to our database, Volodymyr Drobitko authored at least 3 papers in 2025.

Collaborative distances:

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

2025

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes.

Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz

CoRR, August, 2025

Artefact for SEFM 2025.

Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz

Dataset, June, 2025

Certificates and Witnesses for Multi-objective ømega-Regular Queries in Markov Decision Processes.

Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025