RNDr. Miroslav Chodil

Institute for Theoretical Computer Science

E‑mail:

Basic information

Type

Total number of publications: 3

2023

The Satisfiability Problem for a Quantitative Fragment of PCTL

CHODIL Miroslav KUČERA Antonín

Article in Periodical

Journal of Computer and System Sciences, year: 2023

2022

Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

CHODIL Miroslav KUČERA Antonín KŘETÍNSKÝ Jan

Article in Proceedings

Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, year: 2022

2021

The Satisfiability Problem for a Quantitative Fragment of PCTL

CHODIL Miroslav KUČERA Antonín

Article in Proceedings

Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021, year: 2021