| |
| * | 2008 | |
|---|---|---|
| 5 | EE | 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 | EE | 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 | EE | Antonín Kucera, Oldrich Strazovský: On the Controller Synthesis for Finite-State Markov Decision Processes. FSTTCS 2005: 541-552 |
| 2 | EE | 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 | EE | Tomás Brázdil, Antonín Kucera, Oldrich Strazovský: Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. CONCUR 2004: 193-208 |
| 1 | Tomás Brázdil | [1] [2] [5] |
| 2 | Antonín Kucera | [1] [2] [3] [4] [5] |