Browsing by Author "Smetsers, R."

Now showing items 1-9 of 9

Benchmarks for Automata Learning and Conformance Testing
Neider, D.; Smetsers, R. ; Vaandrager, F.W. ; Kuppens, H.C.W.
2019, Part of book or chapter of book (Margaria, T. (ed.), Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, pp. 390-416)
Advances in Model Learning for Software Systems
Smetsers, R.H.A.M.
2018, Dissertation
Model Learning as a Satisability Modulo Theories Problem
Smetsers, R. ; Fiterau-Brostean, P. ; Vaandrager, F.
2018, Article in monograph or in proceedings (Klein, S.T. (ed.), Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018. Proceedings, pp. 182-194)
Source code and data relevant for the paper 'Model Learning as a Satisfiability Modulo Theories Problem'
Smetsers, R.H.A.M. ; Fiterau-Brostean, P. ; Vaandrager, F.W.
2017, Dataset
Problem Solving and Algorithmic Development with Flowcharts
Smetsers-Weeda, R. ; Smetsers, S.
2017, Article in monograph or in proceedings (Barendsen, E. (ed.), WiPSCE '17: Proceedings of the 12th Workshop on Primary and Secondary Computing Education, Nijmegen, Netherlands — November 08 - 10, 2017, pp. 25-34)
Proceedings of the 13th International Conference on Grammatical Inference, ICGI 2016, Delft, The Netherlands, October 5-7, 2016
Verwer, S.; Zaanen, M. van; Smetsers, R.
2016, Book (monograph)
Enhancing Automata Learning by Log-Based Metrics
Bos, P. van den ; Smetsers, R. ; Vaandrager, F.
2016, Article in monograph or in proceedings (Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 295-310)
International Conference on Grammatical Inference 2016: Preface
Verwer, S.; Zaanen, M. van; Smetsers, R.
2016, Article in monograph or in proceedings (Verwer, S. (ed.), Proceedings of the 13th International Conference on Grammatical Inference, ICGI 2016, Delft, The Netherlands, October 5-7, 2016, pp. 1-2)
Minimal Separating Sequences for All Pairs of States
Smetsers, R. ; Moerman, J.S. ; Jansen, D.N.
2016, Article in monograph or in proceedings (Dediu, A.-H.; Janoušek, J.; Martín-Vide, C. (ed.), Language and Automata Theory and Applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 181-193)

Now showing items 1-9 of 9

Search Repository

Advanced Search

Browse

All of Repository

Radboud Repository

Browsing by Author "Smetsers, R."

Search Repository

Browse

All of Repository