Active learning of timed automata with unobservable resets
scientific article; zbMATH DE number 7317095