Automata + Learning reading group
The course is aimed at PhD students who are interested in automata theory and automata learning. We meet approximately every three weeks, and present papers about relevant topics.
- Each participant presents one paper and prepares an assignment to be discussed and solved by everyone directly after the presentation, promoting collaboration and discussion.
- The idea is to cover automata before Christmas, and move on to learning applications in the new year.
- This is a wiki page: please edit as necessary
- Questions or suggestions? Contact Sofia Cassel.
News
The course is now finished. The following participants have presented and completed most of the assignments (except 5b):
Jari (missing 4a, 4b, 5a)
Sofia (credits registered)
Carl (credits registered)
Andreína (credits registered)
Palle (credits registered)
Joe (credits registered)
Yunyun (credits registered)
Johannes (credits registered)
Phong (missing 5a, 6a, 6b)
Jonatan (credits registered)
List of participants
Add your name here...
Carl Leonardsson
Sofia Cassel
M. Andreína Francisco
Farshid Hassani Bijarbooneh
Joseph Scott
Johannes Åman Pohjola
Palle Raabjerg
Pontus Ekberg
Jonatan Lindén
Jari Stenman
Yunyun Zhu
Othmane Rezine
Tuan Phong Ngo
Pavle Subotic
Cong Quy Trinh
Mehdi Seyed Salehi
Peter Backeman
Schedule
| Meeting | Date | Topic | Location | Reading | Presenter | Participated in assignment(s) |
|---|---|---|---|---|---|---|
| 1 | Oct. 25 | Intro | 1406 | Introductory lectures (particularly 2, 3, 8, 9) |
||
| 2 (a) | Nov. 26, 13:15 | Types of automata ( Slides ) |
1406 | Jari | Sofia, Peter, Jonatan, Jari, Phong, Carl, Yunyun, Joe, Andreína, Pavle, Palle, Othmane, Mehdi | |
| 2 (b) | Nov. 26, after 2 (a) | Myhill-Nerode theorem | 1406 |
UMU lecture notes, Viswanathan lecture notes, ... |
Sofia | Sofia, Peter, Jonatan, Jari, Phong, Carl, Yunyun, Joe, Andreína, Pavle, Palle, Othmane, Mehdi, Johannes |
| 3 (a) | Dec. 11, 13:15 | NFA determinization | 1406 | Viswanathan lecture notes 2 and 3 |
Carl | Carl, Sofia, Jari, Peter, Andreína, Yunyun, Palle, Quy, Phong, Mehdi, Fred, Othmane |
| 3 (b) | Dec. 11, after 3 (a) | Testing finite-state machines ( Slides ) |
1406 | Lee/Yannakakis '94 paper |
Othmane | Carl, Sofia, Jari, Peter, Andreína, Yunyun, Palle, Quy, Phong, Mehdi, Fred, Othmane, Johannes |
| 4 (a) | Feb. 3, 13:15 | Identification in the limit from text | 4306 | Gold '67 paper |
Jonatan | Carl, Sofia, Andreína, Yunyun, Palle, Quy, Phong, Mehdi, Othmane, Joe, Jonatan, Paul |
| 4 (b) | Feb. 3, after 4(a) | Active learning: LSTAR Slides
|
4306 | Angluin '87 paper |
Andreína | Carl, Sofia, Andreína, Yunyun, Palle, Quy, Phong, Mehdi, Othmane, Joe, Jonatan, Paul |
| 5 (a) | Feb. 12, 13:15 | Transducers, and learning them (Static Slides) |
4306 | Learning Transducers |
Palle | Peter, Jonatan, Yunyun, Carl, Sofia, Joe, Palle, Johannes |
| 5 (b) | Feb. 12, after 5(a) | Informed Learners, e.g., RPNI |
4306 | de la Higuera, book chapter |
Joe | Peter, Jonatan, Yunyun, Carl, Sofia, Joe, Palle, Johannes, Andreína |
| 6 (a) | Mar. 5, 13:15 | Artificial Intelligence Techniques | 4306 | Artificial Intelligence |
Yunyun | Sofia, Andreína, Palle, Johannes, Carl, Yunyun, Othmane, Jonatan, Jari, Joe |
| 6 (b) | Mar. 5, after 6(a) | Intro to weighted automata | 4306 | Intro to weighted automata |
Johannes | Sofia, Andreína, Palle, Johannes, Carl, Yunyun, Othmane, Jonatan, Jari, Joe |
| 7 (a) | Apr. 2, 13:15 | Learning automata ( Slides ) |
4306 | Learning probabilistic finite automata |
Phong | Phong, Quy, Andreína, Johannes, Sofia, Jari, Carl, Joe, Palle |
Assignments
Assignment 2(a)
Assignment 2(b)
Assignment 3(a
)
Assignment 3(b)
Assignment 4(a)
Assignment 4(b)
Assignment 5(a) will not be available (it was about going through and finding flaws in the paper)
Assignment 5(b)