| Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks | 0 | 0.34 | 2021 |
| Approximating Values of Generalized-Reachability Stochastic Games | 1 | 0.34 | 2020 |
| DeepAbstract: Neural Network Abstraction for Accelerating Verification | 0 | 0.34 | 2020 |
| A Unified Translation of Linear Temporal Logic to ω-Automata | 0 | 0.34 | 2020 |
| Of Cores: A Partial-Exploration Framework For Markov Decision Processes | 0 | 0.34 | 2020 |
| Semi-Quantitative Abstraction And Analysis Of Chemical Reaction Networks (Extended Abstract) | 0 | 0.34 | 2019 |
| Semi-Quantitative Abstraction And Analysis Of Chemical Reaction Networks | 0 | 0.34 | 2019 |
| Pac Statistical Model Checking For Markov Decision Processes And Stochastic Games | 2 | 0.37 | 2019 |
| Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. | 0 | 0.34 | 2019 |
| The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). | 2 | 0.37 | 2019 |
| Owl: A Library for \omega -Words, Automata, and LTL. | 0 | 0.34 | 2018 |
| LTL Store: Repository of LTL formulae from literature and case studies. | 0 | 0.34 | 2018 |
| Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. | 0 | 0.34 | 2018 |
| One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. | 1 | 0.35 | 2018 |
| Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. | 1 | 0.35 | 2018 |
| Value Iteration For Simple Stochastic Games: Stopping Criterion And Learning Algorithm | 2 | 0.38 | 2018 |
| Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. | 0 | 0.34 | 2018 |
| From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. | 4 | 0.39 | 2017 |
| Index Appearance Record For Transforming Rabin Automata Into Parity Automata | 2 | 0.36 | 2017 |
| 30 Years of Modal Transition Systems: Survey of Extensions and Analysis. | 0 | 0.34 | 2017 |
| MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata. | 4 | 0.39 | 2016 |
| Limit-Deterministic Buchi Automata For Linear Temporal Logic | 10 | 0.49 | 2016 |
| Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances. | 2 | 0.37 | 2016 |
| Counterexample Explanation By Learning Small Strategies In Markov Decision Processes | 3 | 0.36 | 2015 |
| Faster Statistical Model Checking for Unbounded Temporal Properties. | 4 | 0.40 | 2015 |
| Controller synthesis for MDPs and Frequency LTL$\setminus$GU. | 0 | 0.34 | 2015 |
| The Hanoi Omega-Automata Format | 13 | 0.55 | 2015 |
| Controller Synthesis for MDPs and Frequency LTL\GU. | 0 | 0.34 | 2015 |
| Probabilistic Bisimulation: Naturally on Distributions. | 10 | 0.49 | 2014 |
| Verification of Markov Decision Processes Using Learning Algorithms. | 42 | 1.14 | 2014 |
| From LTL to Deterministic Automata: A Safraless Compositional Approach. | 14 | 0.54 | 2014 |
| Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. | 8 | 0.55 | 2014 |
| Rabinizer 2: Small Deterministic Automata for LTL ∖ GU. | 0 | 0.34 | 2013 |
| On Refinements of Boolean and Parametric Modal Transition Systems | 2 | 0.37 | 2013 |
| MoTraS: A Tool for Modal Transition Systems and Their Extensions. | 4 | 0.41 | 2013 |
| Verification of Open Interactive Markov Chains. | 5 | 0.45 | 2012 |
| Measuring performance of continuous-time stochastic processes using timed automata | 5 | 0.49 | 2011 |
| Process Algebra for Modal Transition Systemses | 7 | 0.45 | 2010 |
| The Satisfiability Problem for Probabilistic CTL | 11 | 0.59 | 2008 |
