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)
Contribution to a book, Contribution to a conference proceedings

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

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]