1. Learning regular sets from queries and counterexamples
2. Learning regular omega languages
3. Borja Balle and Mehryar Mohri . 2015 . Learning Weighted Automata. In Algebraic Informatics - International Conference (CAI’15) (LNCS, Vol. 9270). Springer, 1–21. Borja Balle and Mehryar Mohri. 2015. Learning Weighted Automata. In Algebraic Informatics - International Conference (CAI’15)(LNCS, Vol. 9270). Springer, 1–21.
4. Learning Communicating Automata from MSCs
5. Benedikt Bollig , Joost-Pieter Katoen , Carsten Kern , Martin Leucker , Daniel Neider , and David Piegdon . 2010. libalf: The automata learning framework . In Computer Aided Verification (CAV’10)(LNCS, Vol. 6174) . Springer , 360–364. Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, and David Piegdon. 2010. libalf: The automata learning framework. In Computer Aided Verification (CAV’10)(LNCS, Vol. 6174). Springer, 360–364.