Synthesis problems for one-counter automata
scientific article; zbMATH DE number 6798769