research
∙
07/10/2023
First order synthesis for data words revisited
We carry on the study of the synthesis problem on data words for fragmen...
share
research
∙
05/04/2023
Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL
We suggest an expressive fragment of LTL for which reactive synthesis ca...
research
∙
10/31/2019
