Learning realtime one-counter automata
scientific article; zbMATH DE number 7793098
scientific article