![]() | ![]() |
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] |