[1]
M. Volpato and J. Tretmans, “Approximate Active Learning of Nondeterministic Input Output Transition Systems”,
ECEASST
, vol. 72, Nov. 2015.