research
∙
06/01/2022
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
We report on the last four editions of the reactive synthesis competitio...
share
research
∙
01/18/2021
Realizing Omega-regular Hyperproperties
We studied the hyperlogic HyperQPTL, which combines the concepts of trac...
research
∙
01/18/2021
Efficient Monitoring of Hyperproperties using Prefix Trees
Hyperproperties, such as non-interference and observational determinism,...
research
∙
05/15/2020
Verifying Hyperliveness
HyperLTL is an extension of linear-time temporal logic for the specifica...
research
∙
05/31/2019
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
We present RVHyper, a runtime verification tool for hyperproperties. Hyp...
research
∙
05/31/2019
Constraint-Based Monitoring of Hyperproperties
Verifying hyperproperties at runtime is a challenging problem as hyperpr...
research
∙
05/31/2019
Synthesizing Reactive Systems from Hyperproperties
We study the reactive synthesis problem for hyperproperties given as for...
research
∙
05/31/2019
Understanding and Extending Incremental Determinization for 2QBF
Incremental determinization is a recently proposed algorithm for solving...
research
∙
04/15/2019
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
We report on the fifth reactive synthesis competition (SYNTCOMP 2018). W...
research
∙
08/27/2018
Synthesis of Boolean Functions with Clausal Abstraction
Dependency quantified Boolean formulas (DQBF) is a logic admitting exist...
research
∙
07/02/2018
Monitoring Hyperproperties
Hyperproperties, such as non-interference and observational determinism,...
research
∙
03/26/2018
Encodings of Bounded Synthesis
The reactive synthesis problem is to compute a system satisfying a given...
research
∙
03/26/2018
BoSy: An Experimentation Framework for Bounded Synthesis
We present BoSy, a reactive synthesis tool based on the bounded synthesi...
research
∙
03/26/2018
On Expansion and Resolution in CEGAR Based QBF Solving
A quantified Boolean formula (QBF) is a propositional formula extended w...
research
∙
11/29/2017