On Minimization and Learning of Deterministic ω-Automata in the Presence of Don't Care Words

Christof Löding, Max Philip Stachon. On Minimization and Learning of Deterministic ω-Automata in the Presence of Don't Care Words. Fundamenta Informaticae, 189(1):69-91, 2022. [doi]

Abstract

Abstract is missing.