research
∙
07/13/2023
Layered controller synthesis for dynamic multi-agent systems
In this paper we present a layered approach for multi-agent control prob...
share
research
∙
03/07/2023
The Temporal Logic Synthesis Format TLSF v1.2
We present an extension of the Temporal Logic Synthesis Format (TLSF). T...
research
∙
06/20/2022
From Spot 2.0 to Spot 2.10: What's New?
Spot is a C ++ 17 library for LTL and ω-automata manipulation, with comm...
research
∙
06/01/2022
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
We report on the last four editions of the reactive synthesis competitio...
research
∙
05/09/2022
