Active Strategy for Learning Non-Deterministic Automata by Peer | IEEE Conference Publication | IEEE Xplore