| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 4,82 | 14,45 | On the Decidability of Temporal Properties of Probabilistic Pushdown Automata
|
| 7,22 | 14,45 | On the Controller Synthesis for Finite-State Markov Decision Processes
|
| 6,16 | 12,32 | On the Controller Synthesis for Finite-State Markov Decision Processes
|
| 8,87 | 17,74 | On the Controller Synthesis for Finite-State Markov Decision Processes
|
| 5,62 | 16,86 | Deciding probabilistic bisimilarity over infinite-state probabilistic systems
|
Back
(c) Michal Bulant, 2011