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 | 54 | 2019 |
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 | 32 | 2018 |
Minimal separating sequences for all pairs of states R Smetsers, J Moerman, DN Jansen Language and Automata Theory and Applications: 10th International Conference …, 2016 | 26 | 2016 |
Complementing model learning with mutation-based fuzzing R Smetsers, J Moerman, M Janssen, S Verwer arXiv preprint arXiv:1611.02429, 2016 | 21 | 2016 |
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 | 13 | 2014 |
Enhancing automata learning by log-based metrics P van den Bos, R Smetsers, F Vaandrager Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016 | 7 | 2016 |
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 | 7 | 2013 |
Grammatical inference as a satisfiability modulo theories problem R Smetsers arXiv preprint arXiv:1705.10639, 2017 | 4 | 2017 |
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 | 3 | 2017 |
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 | 2 | 2015 |
Generating a google go framework from an uppaal model J Dekker, F Vaandrager, R Smetsers Master’s thesis, Radboud University, 2014 | 2 | 2014 |
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 |