Oldrich Strazovský

	2008
5		Tomás Brázdil, Antonín Kucera, Oldrich Strazovský: Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta Inf. 45(2): 131-154 (2008)
4		Antonín Kucera, Oldrich Strazovský: On the Controller Synthesis for Finite-State Markov Decision Processes. Fundam. Inform. 82(1-2): 141-153 (2008)
	2005
3		Antonín Kucera, Oldrich Strazovský: On the Controller Synthesis for Finite-State Markov Decision Processes. FSTTCS 2005: 541-552
2		Tomás Brázdil, Antonín Kucera, Oldrich Strazovský: On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. STACS 2005: 145-157
	2004
1		Tomás Brázdil, Antonín Kucera, Oldrich Strazovský: Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. CONCUR 2004: 193-208

Coauthor Index

1	Tomás Brázdil	[1] [2] [5]
2	Antonín Kucera	[1] [2] [3] [4] [5]