Differences
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. | ||
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