S. Berndt, M. Liśkiewicz, M. Lutter, and R. Reischuk, “Learning Residual Alternating Automata”, AAAI, vol. 31, no. 1, Feb. 2017.