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

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

(2021)
Preprint