The following pages link to Fides Aarts (Q479468):
Displaying 4 items.
- Improving active Mealy machine learning for protocol conformance testing (Q479471) (← links)
- Generating models of infinite-state communication protocols using regular inference with abstraction (Q2018056) (← links)
- Learning Register Automata with Fresh Value Generation (Q2787422) (← links)
- A Theory of History Dependent Abstractions for Learning Interface Automata (Q2914374) (← links)
