S.E. Verwer

Activities

Activities per year

2017 2017

• 3 Talk or presentation at a workshop, seminar, course or other meeting

Activities per year

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 2017

  Activity: Talk or presentation › Talk 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 presentation › Talk or presentation at a workshop, seminar, course or other meeting

  File

• 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 presentation › Talk or presentation at a workshop, seminar, course or other meeting

  File