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
∙
04/12/2022
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability
We describe our implementation of downset-manipulating algorithms used t...
research
∙
03/11/2022
The Regular Languages of First-Order Logic with One Alternation
The regular languages with a neutral letter expressible in first-order l...
research
∙
11/17/2018
The Impatient May Use Limited Optimism to Minimize Regret
Discounted-sum games provide a formal model for the study of reinforceme...
research
∙
02/28/2018