Chodil, Miroslav; Kučera, Antonín; Křetínský, Jan Satisfiability of quantitative probabilistic CTL: rise to the challenge. (English) Zbl 1528.68216 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 364-387 (2022). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{M. Chodil} et al., Lect. Notes Comput. Sci. 13660, 364--387 (2022; Zbl 1528.68216) Full Text: DOI
Brázdil, Tomáš; Forejt, Vojtěch; Krčál, Jan; Křetínský, Jan; Kučera, Antonín Continuous-time stochastic games with time-bounded reachability. (English) Zbl 1264.91016 Inf. Comput. 224, 46-70 (2013). MSC: 91A15 PDFBibTeX XMLCite \textit{T. Brázdil} et al., Inf. Comput. 224, 46--70 (2013; Zbl 1264.91016) Full Text: DOI
Brázdil, Tomáš; Krčál, Jan; Křetínský, Jan; Kučera, Antonín; Řehák, Vojtěch Measuring performance of continuous-time stochastic processes using timed automata. (English) Zbl 1361.68136 Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 33-42 (2011). MSC: 68Q60 60J20 68Q45 93E15 PDFBibTeX XMLCite \textit{T. Brázdil} et al., in: Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12--14, 2011. New York, NY: Association for Computing Machinery (ACM). 33--42 (2011; Zbl 1361.68136) Full Text: DOI
Brázdil, Tomáš; Krčál, Jan; Křetínský, Jan; Kučera, Antonín; Řehák, Vojtěch Stochastic real-time games with qualitative timed automata objectives. (English) Zbl 1287.68124 Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 207-221 (2010). MSC: 68Q85 68Q45 91A05 91A15 91A80 PDFBibTeX XMLCite \textit{T. Brázdil} et al., Lect. Notes Comput. Sci. 6269, 207--221 (2010; Zbl 1287.68124) Full Text: DOI Link
Brázdil, Tomáš; Forejt, Vojtech; Krčál, Jan; Křetínský, Jan; Kučera, Antonin Continuous-time stochastic games with time-bounded reachability. (English) Zbl 1250.91015 Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 61-72, electronic only (2009). MSC: 91A15 PDFBibTeX XMLCite \textit{T. Brázdil} et al., LIPIcs -- Leibniz Int. Proc. Inform. 4, 61--72 (2009; Zbl 1250.91015) Full Text: DOI Link