Applying Automata Learning to Embedded Control Software. - Wouter Smeenk; Joshua Moerman; Frits W. Vaandrager; David N. Jansen (ICFEM, 2015)

Minimal Separating Sequences for All Pairs of States. - Rick Smetsers; Joshua Moerman; David N. Jansen (LATA, 2016)

Complementing Model Learning with Mutation-Based Fuzzing. - Rick Smetsers; Joshua Moerman; Mark Janssen; Sicco Verwer (CoRR, 2016)

Learning nominal automata. - Joshua Moerman; Matteo Sammartino; Alexandra Silva 001; Bartek Klin; Michal Szynwelski (POPL, 2017)

Learning Product Automata. - Joshua Moerman (ICGI, 2018)

A (co)algebraic theory of succinct automata. - Gerco van Heerdt; Joshua Moerman; Matteo Sammartino; Alexandra Silva 001 (J. Log. Algebraic Methods Program., 2019)

n-Complete test suites for IOCO. - Petra van den Bos; Ramon Janssen; Joshua Moerman (Softw. Qual. J., 2019)

Residual Nominal Automata. - Joshua Moerman; Matteo Sammartino (CONCUR, 2020)

Separation and Renaming in Nominal Sets. - Joshua Moerman; Jurriaan Rot (CSL, 2020)

Generating Functions for Probabilistic Programs. - Lutz Klinkenberg; Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Joshua Moerman; Tobias Winkler 001 (LOPSTR, 2020)

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. - Mikolaj Bojanczyk; Bartek Klin; Joshua Moerman (LICS, 2021)

Gradient-Descent for Randomized Controllers under Partial Observability (Artifact). - Linus Heck; Jip Spel; Sebastian Junges; Joshua Moerman; Joost-Pieter Katoen (Zenodo, 2021)

State Identification and Verification with Satisfaction. - Joshua Moerman; Thorsten Wißmann (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Gradient-Descent for Randomized Controllers Under Partial Observability. - Linus Heck; Jip Spel; Sebastian Junges; Joshua Moerman; Joost-Pieter Katoen (VMCAI, 2022)

Residuality and Learning for Nondeterministic Nominal Automata. - Joshua Moerman; Matteo Sammartino (Log. Methods Comput. Sci., 2022)

Fast computations on ordered nominal sets. - David Venhoek; Joshua Moerman; Jurriaan Rot (Theor. Comput. Sci., 2022)

Output-decomposed Learning of Mealy Machines. - Rick Koenders; Joshua Moerman (CoRR, 2024)

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. - Mikolaj Bojanczyk; Joanna Fijalkow; Bartek Klin; Joshua Moerman (TheoretiCS, 2024)