Rick Smetsers
Rick Smetsers
Verified email at asml.com
TitleCited byYear
Minimal separating sequences for all pairs of states
R Smetsers, J Moerman, DN Jansen
Language and Automata Theory and Applications, 181-193, 2016
112016
Complementing model learning with mutation-based fuzzing
R Smetsers, J Moerman, M Janssen, S Verwer
arXiv preprint arXiv:1611.02429, 2016
82016
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
72014
Unsupervised identification of compounds
S Aussems, B Goris, V Lichtenberg, NJE van Noord, R Smetser, ...
Radboud University, 2013
52013
Model learning as a satisfiability modulo theories problem
R Smetsers, P Fiterău-Broştean, F Vaandrager
International Conference on Language and Automata Theory and Applications …, 2018
42018
Enhancing automata learning by log-based metrics
P van den Bos, R Smetsers, F Vaandrager
International Conference on Integrated Formal Methods, 295-310, 2016
42016
Grammatical inference as a satisfiability modulo theories problem
R Smetsers
arXiv preprint arXiv:1705.10639, 2017
32017
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?, 390-416, 2019
22019
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
22017
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
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 2016, Delft, The Netherlands, October 5-7, 2016
S Verwer, M Zaanen, R Smetsers
JMLR Workshop and Conference Proceedings; 57, 2016
2016
International Conference on Grammatical Inference 2016: Preface
S Verwer, M Zaanen, R Smetsers
[Sl]: JMLR. org, 2016
2016
Proceedings of the First Workshop on Computational Approaches to Compound Analysis (ComAComA 2014)
B Verhoeven, W Daelemans, M van Zaanen, G van Huyssteen
Proceedings of the First Workshop on Computational Approaches to Compound …, 2014
2014
SPiCe Organization
R Smetsers, M van Zaanen, S Verwer
The system can't perform the operation now. Try again later.
Articles 1–15