Ranking and Repulsing Supermartingales for Reachability in Randomized Programs | 0 | 0.34 | 2021 |
Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). | 0 | 0.34 | 2021 |
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. | 0 | 0.34 | 2019 |
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. | 2 | 0.37 | 2018 |
Quantitative Matrix Simulation. | 0 | 0.34 | 2018 |
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. | 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 |
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. | 0 | 0.34 | 2017 |
Quantitative simulations by matrices. | 0 | 0.34 | 2017 |
Coalgebraic Trace Semantics for Buechi and Parity Automata. | 2 | 0.39 | 2016 |
COALGEBRAIC INFINITE TRACES AND KLEISLI SIMULATIONS | 2 | 0.37 | 2015 |
Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices. | 7 | 0.51 | 2014 |