Activities per year
Activities
- 3 Talk or presentation at a workshop, seminar, course or other meeting
Search results
-
Learning Pairwise Disjoint Simple Languages from Positive Examples
Alexis Linard (Speaker), Rick Smetsers (Speaker), FW Vaandrager (Speaker), Umar Waqas (Speaker), Joost van Pinxten (Speaker) & S.E. Verwer (Speaker)
19 Jun 2017Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
-
Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms
C.A. Hammerschmidt (Speaker), Radu State (Speaker) & S.E. Verwer (Speaker)
11 Aug 2017Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
File -
Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata
Xiaoran Liu (Speaker), Q. Lin (Speaker), S.E. Verwer (Speaker) & Dmitri Jarnikov (Speaker)
19 Jun 2017Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting
File