RNDr. Jan Krčál
BRÁZDIL, Tomáš - KRČÁL, Jan - KŘETÍNSKÝ, Jan - ŘEHÁK, Vojtěch.
Fixed-delay Events in Generalized Semi-Markov Processes Revisited. In CONCUR 2011 - Concurrency Theory: 22nd International Conference. Berlin Heidelberg New York : Springer, 2011. ISBN 978-3-642-23216-9, pp. 140-155. Aachen, Německo.
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. In HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control. New York : ACM, 2011. ISBN 978-1-4503-0629-4, pp. 33-42. 12.4.2011, Chicago, IL, USA.
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. In CONCUR 2010 - Concurrency Theory. Berlin Heidelberg New York : Springer, 2010. ISBN 3-642-15374-7, pp. 207-221. 31.8.2010, Paris, France.
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. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009). Dagstuhl, Germany : Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2009. ISBN 978-3-939897-13-2, pp. 61-72. 15.12.2009, IIT Kanpur, India.
