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…