30 citations · 152 across the 17 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.FL2024★ 1 cited
From LTL to COCOA without Detours
Rüdiger Ehlers, Ayrat Khalimov
Chains of co-Büchi automata (COCOA) have recently been introduced as a new canonical representation of omega-regular languages. The co-Büchi automata in a chain assign each omega-w…
cs.FL2024
Fully Generalized Reactivity(1) Synthesis
Rüdiger Ehlers, Ayrat Khalimov
Generalized Reactivity(1) (GR(1)) synthesis is a reactive synthesis approach in which the specification is split into two parts: a symbolic game graph, describing the safe transiti…