Showing 1 - 20 results of 29 for search 'Forejt, V', query time: 0.34s
Refine Results
-
1
Decidability results for multi-objective stochastic games by Brenguier, R, Forejt, V
Published 2016Conference item -
2
-
3
Branching-Time Model-Checking of Probabilistic Pushdown Automata. by Brázdil, T, Brozek, V, Forejt, V
Published 2009Journal article -
4
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. by Brázdil, T, Forejt, V, Kucera, A
Published 2008Journal article -
5
Game characterization of probabilistic bisimilarity, and applications to pushdown automata by Forejt, V, Jancar, P, Kiefer, S, Worrell, J
Published 2018Journal article -
6
Reachability in recursive Markov decision processes. by Brázdil, T, Brozek, V, Forejt, V, Kucera, A
Published 2008Journal article -
7
Trading Performance for Stability in Markov Decision Processes by Brázdil, T, Chatterjee, K, Forejt, V, Kučera, A
Published 2013Conference item -
8
The Satisfiability Problem for Probabilistic CTL. by Brázdil, T, Forejt, V, Kretínský, J, Kucera, A
Published 2008Journal article -
9
Trading performance for stability in Markov decision processes by Brazdil, T, Chatterjee, K, Forejt, V, Kucera, A
Published 2016Journal article -
10
Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs by Forejt, V, Kroening, D, Narayanswamy, G, Sharma, S
Published 2014Conference item -
11
Stability in graphs and games by Brázdil, T, Forejt, V, Kučera, A, Novotný, P
Published 2016Conference item -
12
Schedulability of bounded-rate multi-mode systems by Alur, R, Forejt, V, Moarref, S, Trivedi, A
Published 2017Journal article -
13
Expected reachability-time games by Forejt, V, Kwiatkowska, M, Norman, G, Trivedi, A
Published 2016Journal article -
14
Expected Reachability−Time Games by Forejt, V, Kwiatkowska, M, Norman, G, Trivedi, A
Published 2010Report -
15
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs by Forejt, V, Joshi, S, Kroening, D, Narayanaswamy, G, Sharma, S
Published 2017Journal article -
16
Expected Reachability-Time Games. by Forejt, V, Kwiatkowska, M, Norman, G, Trivedi, A
Published 2010Journal article -
17
Automated Verification Techniques for Probabilistic Systems. by Forejt, V, Kwiatkowska, M, Norman, G, Parker, D
Published 2011Journal article -
18
Continuous-Time Stochastic Games with Time-Bounded Reachability. by Brázdil, T, Forejt, V, Krcál, J, Kretínský, J, Kucera, A
Published 2009Conference item -
19
Markov Decision Processes with Multiple Long-run Average Objectives by Brázdil, T, Brožek, V, Chatterjee, K, Forejt, V, Kučera, A
Published 2011Conference item -
20
Automatic Verification of Competitive Stochastic Systems by Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
Published 2012Conference item