| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 0,00 | 0,00 | Qualitative Reachability in Stochastic BPA Games
|
| 3,61 | 14,45 | Reachability in Recursive Markov Decision Processes
|
| 7,55 | 30,19 | Reachability in Recursive Markov Decision Processes
|
| 15,45 | 61,80 | Reachability in Recursive Markov Decision Processes
|
| 0,00 | 0,00 | Regularity in PDA Games Revisited
|
| 0,00 | 0,00 | Branching-Time Model-Checking of Probabilistic Pushdown Automata
|
| 3,61 | 14,45 | Discounted Properties of Probabilistic Pushdown Automata
|
| 0,00 | 0,00 | Regularity in Model Checking PDA Games
|
| 3,61 | 14,45 | Stochastic Games with Branching-Time Winning Objectives
|
Back
(c) Michal Bulant, 2011