Rick Smetsers

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 8

Top Topics

Satisfiability Modulo Theories

Grammatical Inference

Top Venues

Models, Mindsets, Meta

Publications

Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager
Model Learning as a Satisfiability Modulo Theories Problem. LATA (2018)
Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens
Benchmarks for Automata Learning and Conformance Testing. Models, Mindsets, Meta (2018)
Alexis Linard, Rick Smetsers, Frits W. Vaandrager, Umar Waqas, Joost van Pinxten, Sicco Verwer
Learning Pairwise Disjoint Simple Languages from Positive Examples. CoRR (2017)
Rick Smetsers
Grammatical Inference as a Satisfiability Modulo Theories Problem. CoRR (2017)
Rick Smetsers, Joshua Moerman, David N. Jansen
Minimal Separating Sequences for All Pairs of States. LATA (2016)
Petra van den Bos, Rick Smetsers, Frits W. Vaandrager
Enhancing Automata Learning by Log-Based Metrics. IFM (2016)
Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer
Complementing Model Learning with Mutation-Based Fuzzing. CoRR (2016)
Sicco Verwer, Menno van Zaanen, Rick Smetsers
International Conference on Grammatical Inference 2016: Preface. ICGI (2016)
Rick Smetsers, Michele Volpato, Frits W. Vaandrager, Sicco Verwer
Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning. ICGI (2014)