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

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

Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) / Herausgeber: Filippo Bonchi, Simon J. Puglisi
Seite(n)/Artikel-Nr.: 20:1-20:18