Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms
- Hammerschmidt, C. A. (Speaker)
- Radu State (Speaker)
- Verwer, S. E. (Speaker)
Activity: Talk or presentation › Talk or presentation at a workshop, seminar, course or other meeting