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