research
∙
03/27/2022
The Lattice-Theoretic Essence of Property Directed Reachability Analysis
We present LT-PDR, a lattice-theoretic generalization of Bradley's prope...
share
research
∙
03/24/2022
Exemplifying parametric timed specifications over signals with bounded behavior
Specifying properties can be challenging work. In this paper, we propose...
research
∙
11/16/2018
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments
Programs with randomization constructs is an active research topic, espe...
research
∙
10/22/2018
Quantitative Simulations by Matrices
We introduce notions of simulation between semiring-weighted automata as...
research
∙
10/22/2018
Quantitative Matrix Simulation
We introduce notions of simulation between semiring-weighted automata as...
research
∙
05/28/2018
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs
Computing reachability probabilities is a fundamental problem in the ana...
research
∙
05/28/2018
Ranking and Repulsing Supermartingales for Approximating Reachability
Computing reachability probabilities is a fundamental problem in the ana...
research
∙
03/19/2018