| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 14,45 | 14,45 | Reachability in Stochastic Timed Games
|
| 0,00 | 0,00 | DivSPIN - A SPIN compatible distributed model checker
|
| 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
|
| 3,61 | 14,45 | The Satisfiability Problem for Probabilistic CTL
|
| 0,00 | 0,00 | Branching-Time Model-Checking of Probabilistic Pushdown Automata
|
| 4,82 | 14,45 | Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
|
| 0,00 | 0,00 | Continuous-Time Stochastic Games with Time-Bounded Reachability
|
| 15,09 | 30,19 | Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
|
| 7,22 | 14,45 | Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
|
| 3,61 | 14,45 | Stochastic Games with Branching-Time Winning Objectives
|
Back
(c) Michal Bulant, 2011