The following pages link to Insights to Angluin's learning (Q2849548):
Displaying 6 items.
- Active learning of nondeterministic finite state machines (Q459826) (← links)
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee (Q848309) (← links)
- Angluin learning via logic (Q1709690) (← links)
- Learning Meets Verification (Q3525110) (← links)
- Compositional CSP Traces Refinement Checking (Q5178982) (← links)
- Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning (Q6487258) (← links)