If you made any changes in Pure these will be visible here soon.

Activities

  • 3 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 2017

Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

File

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 2017

Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

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 2017

Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

File