Learning Residual Alternating Automata

Open in new window