research
∙
04/18/2023
A Simple Rewrite System for the Normalization of Linear Temporal Logic
In the mid 80s, Lichtenstein, Pnueli, and Zuck showed that every formula...
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
∙
01/25/2022
On the Translation of Automata to Linear Temporal Logic
While the complexity of translating future linear temporal logic (LTL) i...
research
∙
05/01/2020
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata
In the mid 80s, Lichtenstein, Pnueli, and Zuck proved a classical theore...
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
∙
03/29/2019
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games
The synthesis - the automatic construction - of reactive systems from li...
research
∙
06/29/2018
LTL Store: Repository of LTL formulae from literature and case studies
This continuously extended technical report collects and compares common...
research
∙
05/02/2018