1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
Leveraging the Power of Graph Algorithms: Efficient Algorithms for Computer-Aided Verification
Alexander Svozil
The goal of the thesis is to leverage fast graph algorithms and modern algorithmic techniques for problems in model checking and synthesis on graphs, MDPs, and game graphs. The res…
cs.LO2021
Symbolic Time and Space Tradeoffs for Probabilistic Verification
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger +1
We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision pro…