research
∙
05/25/2023
Solving Infinite-State Games via Acceleration
Two-player graph games have found numerous applications, most notably th...
share
research
∙
01/24/2023
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version)
Automatic synthesis from temporal logic specifications is an attractive ...
research
∙
12/29/2020
Synthesizing Approximate Implementations for Unrealizable Specifications
The unrealizability of a specification is often due to the assumption th...
research
∙
12/29/2020
Approximate Automata for Omega-Regular Languages
Automata over infinite words, also known as omega-automata, play a key r...
research
∙
12/07/2020
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
We present a novel and generalised notion of doping cleanness for cyber-...
research
∙
07/31/2020
Near-Optimal Reactive Synthesis Incorporating Runtime Information
We consider the problem of optimal reactive synthesis - compute a strate...
research
∙
05/07/2020
Probabilistic Hyperproperties of Markov Decision Processes
We study the specification and verification of hyperproperties for proba...
research
∙
02/06/2019
Distributed Synthesis of Surveillance Strategies for Mobile Sensors
We study the problem of synthesizing strategies for a mobile sensor netw...
research
∙
01/03/2019
Causality Analysis for Concurrent Reactive Systems (Extended Abstract)
We present a comprehensive language theoretic causality analysis framewo...
research
∙
04/02/2018
Maximum Realizability for Linear Temporal Logic Specifications
Automatic synthesis from linear temporal logic (LTL) specifications is w...
research
∙
09/15/2017
Synthesis of surveillance strategies via belief abstraction
We study the problem of synthesizing a controller for a robot with a sur...
research
∙
11/03/2014