9 citations · 11 across the 3 of their papers we have counts for
3 papers
cs.AI2019
Learning a Safety Verifiable Adaptive Cruise Controller from Human Driving Data
Qin Lin, Sicco Verwer, John Dolan
Imitation learning provides a way to automatically construct a controller by mimicking human behavior from data. For safety-critical systems such as autonomous vehicles, it can be…
stat.ML2016★ 2 cited
Interpreting Finite Automata for Sequential Data
Christian Albert Hammerschmidt, Sicco Verwer, Qin Lin +1
Automaton models are often seen as interpretable models. Interpretability itself is not well defined: it remains unclear what interpretability means without first explicitly specif…
cs.SE2016★ 9 cited
Complementing Model Learning with Mutation-Based Fuzzing
Rick Smetsers, Joshua Moerman, Mark Janssen +1
An ongoing challenge for learning algorithms formulated in the Minimally Adequate Teacher framework is to efficiently obtain counterexamples. In this paper we compare and combine c…