Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Bohn, Leon; Löding, Christof (Corresponding author)
(2021)
Preprint
Identifikationsnummern
- DOI: 10.18154/RWTH-2022-11204
- RWTH PUBLICATIONS: RWTH-2022-11204
Zum Inhaltsbereich Zur Hauptnavigation Zum Footer Zur Suche
Bohn, Leon; Löding, Christof (Corresponding author)
(2021)
Preprint