research
∙
03/11/2023
Reproduction Report for SV-COMP 2023
The Competition on Software Verification (SV-COMP) is a large computatio...
share
research
∙
01/24/2023
A Practitioner's Guide to MDP Model Checking Algorithms
Model checking undiscounted reachability and expected-reward properties ...
research
∙
08/25/2022
Backwards Reachability for Probabilistic Timed Automata: A Replication Report
Backwards reachability is an efficient zone-based approach for model che...
research
∙
03/18/2022
An Overview of Modest Models and Tools for Real Stochastic Timed Systems
We depend on the safe, reliable, and timely operation of cyber-physical ...
research
∙
10/17/2021
Correct Probabilistic Model Checking with Floating-Point Arithmetic
Probabilistic model checking computes probabilities and expected values ...
research
∙
01/08/2020
Symblicit Exploration and Elimination for Probabilistic Model Checking
Binary decision diagrams can compactly represent vast sets of states, mi...
research
∙
10/02/2019
Optimistic Value Iteration
Markov decision processes are widely used for planning and verification ...
research
∙
10/16/2017