This shows you the differences between two versions of the page.
— |
course:learning [2017/07/25 10:30] (current) mht208 created |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | 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. |