| A Tale of Two Diagnoses in Probabilistic Systems | 0 | 0.34 | 2019 |
| Long-run Satisfaction of Path Properties | 0 | 0.34 | 2019 |
| Performance Evaluation Of Metro Regulations Using Probabilistic Model-Checking | 0 | 0.34 | 2019 |
| Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. | 2 | 0.36 | 2018 |
| CONTROLLING A POPULATION | 0 | 0.34 | 2017 |
| Stochastic Timed Automata. | 9 | 0.50 | 2014 |
| Deciding The Value 1 Problem For Reachability In 1-Clock Decision Stochastic Timed Automata | 1 | 0.38 | 2014 |
| Probabilistic ω-automata | 4 | 0.41 | 2012 |
| Bounded Satisfiability for PCTL | 4 | 0.42 | 2012 |
| Off-line test selection with test purposes for non-deterministic timed automata | 0 | 0.34 | 2012 |
| Playing optimally on timed automata with random delays | 3 | 0.41 | 2012 |
| A game approach to determinize timed automata. | 4 | 0.48 | 2011 |
| Minimal Disclosure in Partially Observable Markov Decision Processes. | 0 | 0.34 | 2011 |
| Off-line test selection with test purposes for non-deterministic timed automata | 13 | 0.65 | 2011 |
| Probabilistic Regular Graphs | 0 | 0.34 | 2010 |
| Probabilistic Acceptors for Languages over Infinite Words | 0 | 0.34 | 2009 |
| When Are Timed Automata Determinizable? | 16 | 0.60 | 2009 |
| Probabilistic Automata Over Infinite Words: Expressiveness, Efficiency, And Decidability | 1 | 0.37 | 2009 |
| The Effect of Tossing Coins in Omega-Automata | 1 | 0.35 | 2009 |
| Qualitative Determinacy and Decidability of Stochastic Games with Signals | 23 | 1.05 | 2009 |
| On decision problems for probabilistic Büchi automata | 51 | 2.48 | 2008 |
| Probabilistic and topological semantics for timed automata | 27 | 1.13 | 2007 |
| Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties | 13 | 0.63 | 2007 |
| A note on the attractor-property of infinite-state Markov chain | 7 | 0.44 | 2006 |
| A Short Visit to the STS Hierarchy | 4 | 0.47 | 2006 |
| On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems | 14 | 0.60 | 2006 |
| 1-Identifying Codes On Trees | 0 | 0.34 | 2005 |
| Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties | 0 | 0.34 | 2005 |
| Identifying and locating-dominating codes on chains and cycles | 53 | 2.74 | 2004 |
