Return to Article Details Approximate Active Learning of Nondeterministic Input Output Transition Systems Download Download PDF