| Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. | 2 | 0.37 | 2018 |
| Quantitative Matrix Simulation. | 0 | 0.34 | 2018 |
| Ranking and Repulsing Supermartingales for Approximating Reachability. | 0 | 0.34 | 2018 |
| Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. | 1 | 0.35 | 2018 |
| Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices. | 7 | 0.51 | 2014 |
