Jan Tretmans
- Approximate Active Learning of Nondeterministic Input Output Transition Systems
2016/01/06 by Michele Volpato, Volpato, Michele, Jan Tretmans +1 · 1 citation
Computer Science · #Formal Methods in Verification #Machine Learning and Algorithms #Software Testing and Debugging Techniques