Automata learning is one type of machine learning algorithm studied since the 70s. In this lecture, we will cover different types of automata learning algorithms, including the L* algorithm by Dana Angliun, its improved version by Rivest and Shapire, and the tree-based version by Kearns and Vazirani. We will also discuss their applications in system verification.
Last modified: 2017/07/25 10:30
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International