Výpis publikací

BRÁZDIL, Tomáš; Antonín KUČERA a Oldřich STRAŽOVSKÝ. Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta informatica. Berlin: Springer-Verlag, 2008, roč. 45, č. 2, s. 131-154. ISSN 0001-5903.

KUČERA, Antonín a Oldřich STRAŽOVSKÝ. On the Controller Synthesis for Finite-State Markov Decision Processes. Fundamenta Informaticae. Polsko: IOS Press, Nizozemí, 2008, roč. 82, 1-2, s. 141-153. ISSN 0169-2968.

KUČERA, Antonín a Oldřich STRAŽOVSKÝ. On the Controller Synthesis for Finite-State Markov Decision Processes. In 25th International Conference on Foundations of Software Technology and Theoretical Computer Science. Berlin Heidelberg New York: Springer, 2005, s. 541-552. ISBN 3-540-30495-9.

BRÁZDIL, Tomáš; Antonín KUČERA a Oldřich STRAŽOVSKÝ. On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. V. Diekert, B. Durand (Eds.). In Proceedings of 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005). Berlin: Springer, 2005, s. 145-157. ISBN 3-540-24998-2.

BRÁZDIL, Tomáš; Antonín KUČERA a Oldřich STRAŽOVSKÝ. Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. P. Gardner, N. Yoshida (Eds.). In Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004). Berlin: Springer, 2004, s. 193-208. ISBN 3-540-22940-X.