research
∙
09/05/2023
The Worst-Case Complexity of Symmetric Strategy Improvement
Symmetric strategy improvement is an algorithm introduced by Schewe et a...
share
research
∙
06/01/2022
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
We report on the last four editions of the reactive synthesis competitio...
research
∙
06/24/2021
Self-Supervised Monocular Depth Estimation of Untextured Indoor Rotated Scenes
Self-supervised deep learning methods have leveraged stereo images for t...
research
∙
09/23/2020
Symbolic Parity Game Solvers that Yield Winning Strategies
Parity games play an important role for LTL synthesis as evidenced by re...
research
∙
09/17/2019
Simple Fixpoint Iteration To Solve Parity Games
A naive way to solve the model-checking problem of the mu-calculus uses ...
research
∙
05/16/2019
How do neural networks see depth in single images?
Deep neural networks have lead to a breakthrough in depth estimation fro...
research
∙
07/26/2018
A Parity Game Tale of Two Counters
Parity games have important practical applications in formal verificatio...
research
∙
05/09/2018
Revisiting Decision Diagrams for SAT
Symbolic variants of clause distribution using decision diagrams to elim...
research
∙
04/03/2018
Attracting Tangles to Solve Parity Games
Parity games have important practical applications in formal verificatio...
research
∙
01/11/2018