research
∙
02/05/2022
Leveraging the Power of Graph Algorithms: Efficient Algorithms for Computer-Aided Verification
The goal of the thesis is to leverage fast graph algorithms and modern a...
share
research
∙
04/15/2021
Symbolic Time and Space Tradeoffs for Probabilistic Verification
We present a faster symbolic algorithm for the following central problem...
research
∙
09/12/2019
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs
The fundamental model-checking problem, given as input a model and a spe...
research
∙
09/11/2019
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
Solving parity games, which are equivalent to modal μ-calculus model che...
research
∙
08/11/2019
Fully Dynamic k-Center Clustering in Doubling Metrics
In the k-center clustering problem, we are given a set of n points in a ...
research
∙
04/19/2018