Efficiently identifying deterministic real-time automata from labeled data
scientific article; zbMATH DE number 6037844
scientific article