Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm

Bohn, Leon; Löding, Christof (Corresponding author)

(2021)
Preprint

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) [122910]