This shows you the differences between two versions of the page.

Link to this comparison view

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.