40 citations · 189 across the 15 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017★ 29 cited
LTL to Deterministic Emerson-Lei Automata
David Müller, Salomon Sickert
We introduce a new translation from linear temporal logic (LTL) to deterministic Emerson-Lei automata, which are omega-automata with a Muller acceptance condition symbolically expr…
cs.LO2017★ 28 cited
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
Javier Esparza, Jan Křetínský, Jean-François Raskin +1
Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic par…