Follow
Rick Smetsers
Rick Smetsers
Verified email at asml.com
Title
Cited by
Cited by
Year
Benchmarks for automata learning and conformance testing
D Neider, R Smetsers, F Vaandrager, H Kuppens
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019
542019
Model learning as a satisfiability modulo theories problem
R Smetsers, P Fiterău-Broştean, F Vaandrager
Language and Automata Theory and Applications: 12th International Conference …, 2018
322018
Minimal separating sequences for all pairs of states
R Smetsers, J Moerman, DN Jansen
Language and Automata Theory and Applications: 10th International Conference …, 2016
262016
Complementing model learning with mutation-based fuzzing
R Smetsers, J Moerman, M Janssen, S Verwer
arXiv preprint arXiv:1611.02429, 2016
212016
Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning
R Smetsers, M Volpato, F Vaandrager, S Verwer
International Conference on Grammatical Inference, 167-181, 2014
132014
Enhancing automata learning by log-based metrics
P van den Bos, R Smetsers, F Vaandrager
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
72016
Unsupervised identification of compounds
S Aussems, B Goris, V Lichtenberg, NJE van Noord, R Smetser, ...
Proceedings of the 22nd Belgian-Dutch conference on machine learning …, 2013
72013
Grammatical inference as a satisfiability modulo theories problem
R Smetsers
arXiv preprint arXiv:1705.10639, 2017
42017
Learning pairwise disjoint simple languages from positive examples
A Linard, R Smetsers, F Vaandrager, U Waqas, J van Pinxten, S Verwer
arXiv preprint arXiv:1706.01663, 2017
32017
Enhancing active automata learning by a user log based metric
P Van den Bos, FW Vaandrager, R Smetsers
Master's thesis, Radboud University Nijmegen, 2015
22015
Generating a google go framework from an uppaal model
J Dekker, F Vaandrager, R Smetsers
Master’s thesis, Radboud University, 2014
22014
International Conference on Grammatical Inference 2016: Preface
S Verwer, M van Zaanen, R Smetsers
International Conference on Grammatical Inference, 1-2, 2017
2017
Proceedings of Machine Learning Research: International Conference on Grammatical Inference
S Verwer, M van Zaanen, R Smetsers
JMLR, 2016
2016
Proceedings of the 13th International Conference on Grammatical Inference ICGI: JMLR Workshop and Conference Proceedings
S Verwer, M van Zaanen, R Smetsers
JMLR, 2016
2016
Proceedings of the 13th International Conference on Grammatical Inference, ICGI 2016, Delft, The Netherlands, October 5-7, 2016
S Verwer, M Zaanen, R Smetsers
Sl: JMLR. org, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–15