Berndt, S.; Liśkiewicz, M.; Lutter, M.; Reischuk, R. Learning Residual Alternating Automata. AAAI 2017, 31.