Rick Smetsers
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2016–2018
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LATA | Model Learning as a Satisfiability Modulo Theories Problem. | Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager |
| 2016 | IFM | Enhancing Automata Learning by Log-Based Metrics. | Petra van den Bos, Rick Smetsers, Frits W. Vaandrager |
| 2016 | LATA | Minimal Separating Sequences for All Pairs of States. | Rick Smetsers, Joshua Moerman, David N. Jansen |