An automaton decomposition for learning system environments

From MaRDI portal