Miroslav Chodil

According to our database, Miroslav Chodil authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

The satisfiability problem for a quantitative fragment of PCTL.

Miroslav Chodil, Antonín Kucera

J. Comput. Syst. Sci., February, 2024

The General and Finite Satisfiability Problems for PCTL are Undecidable.

Miroslav Chodil, Antonín Kucera

CoRR, 2024

The Finite Satisfiability Problem for PCTL is Undecidable.

Miroslav Chodil, Antonín Kucera

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2022

Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge.

Miroslav Chodil, Antonín Kucera, Jan Kretínský

Proceedings of the Principles of Systems Design, 2022