research
∙
08/16/2021
Synthesizing Pareto-Optimal Interpretations for Black-Box Models
We present a new multi-objective optimization approach for synthesizing ...
share
research
∙
05/26/2021
Runtime Monitoring for Markov Decision Processes
We investigate the problem of monitoring partially observable systems wi...
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/29/2020
Canonical Representations of k-Safety Hyperproperties
Hyperproperties elevate the traditional view of trace properties form se...
research
∙
12/29/2020
Explainable Reactive Synthesis
Reactive synthesis transforms a specification of a reactive system, give...
research
∙
08/21/2020
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
We present an implementation of SOTER, a run-time assurance framework fo...
research
∙
05/07/2020
Probabilistic Hyperproperties of Markov Decision Processes
We study the specification and verification of hyperproperties for proba...
research
∙
03/18/2020
FPGA Stream-Monitoring of Real-time Properties
An essential part of cyber-physical systems is the online evaluation of ...
research
∙
05/31/2019
Model Checking Quantitative Hyperproperties
Hyperproperties are properties of sets of computation traces. In this pa...
research
∙
01/03/2019
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
In formal synthesis of reactive systems an implementation of a system is...
research
∙
03/25/2018
Synthesizing Skeletons for Reactive Systems
We present an analysis technique for temporal specifications of reactive...
research
∙
11/10/2017