Rick Smetsers

According to our database, Rick Smetsers authored at least 9 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Model Learning as a Satisfiability Modulo Theories Problem.

Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager

Proceedings of the Language and Automata Theory and Applications, 2018

Benchmarks for Automata Learning and Conformance Testing.

Daniel Neider, Rick Smetsers, Frits W. Vaandrager, Harco Kuppens

Proceedings of the Models, Mindsets, 2018

2017

Grammatical Inference as a Satisfiability Modulo Theories Problem.

Rick Smetsers

CoRR, 2017

Learning Pairwise Disjoint Simple Languages from Positive Examples.

Alexis Linard, Rick Smetsers, Frits W. Vaandrager, Umar Waqas, Joost van Pinxten, Sicco Verwer

CoRR, 2017

2016

Complementing Model Learning with Mutation-Based Fuzzing.

Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer

CoRR, 2016

Minimal Separating Sequences for All Pairs of States.

Rick Smetsers, Joshua Moerman, David N. Jansen

Proceedings of the Language and Automata Theory and Applications, 2016

Enhancing Automata Learning by Log-Based Metrics.

Petra van den Bos, Rick Smetsers, Frits W. Vaandrager

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

International Conference on Grammatical Inference 2016: Preface.

Sicco Verwer, Menno van Zaanen, Rick Smetsers

Proceedings of the 13th International Conference on Grammatical Inference, 2016

2014

Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning.

Rick Smetsers, Michele Volpato, Frits W. Vaandrager, Sicco Verwer

Proceedings of the 12th International Conference on Grammatical Inference, 2014