Joshua Moerman

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 26

Top Topics

Partial Observability

Cellular Automata

Top Venues

J. Log. Algebraic Methods Program.

Publications

Rick Koenders, Joshua Moerman
Output-decomposed Learning of Mealy Machines. CoRR (2024)
David Venhoek, Joshua Moerman, Jurriaan Rot
Fast computations on ordered nominal sets. Theor. Comput. Sci. 935 (2022)
Joshua Moerman, Matteo Sammartino
Residuality and Learning for Nondeterministic Nominal Automata. Log. Methods Comput. Sci. 18 (1) (2022)
Joshua Moerman, Thorsten Wißmann
State Identification and Verification with Satisfaction. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
Gradient-Descent for Randomized Controllers Under Partial Observability. VMCAI (2022)
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
Gradient-Descent for Randomized Controllers under Partial Observability. CoRR (2021)
Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. CoRR (2021)
Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. LICS (2021)
Joshua Moerman, Jurriaan Rot
Separation and Renaming in Nominal Sets. CSL (2020)
Joshua Moerman, Matteo Sammartino
Residual Nominal Automata. CONCUR (2020)
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
Generating Functions for Probabilistic Programs. LOPSTR (2020)
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
Generating Functions for Probabilistic Programs. CoRR (2020)
Petra van den Bos, Ramon Janssen, Joshua Moerman
n-Complete test suites for IOCO. Softw. Qual. J. 27 (2) (2019)
David Venhoek, Joshua Moerman, Jurriaan Rot
Fast Computations on Ordered Nominal Sets. CoRR (2019)
Joshua Moerman, Jurriaan Rot
Separation and Renaming in Nominal Sets. CoRR (2019)
Joshua Moerman, Matteo Sammartino
Residual Nominal Automata. CoRR (2019)
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
A (co)algebraic theory of succinct automata. CoRR (2019)
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
A (co)algebraic theory of succinct automata. J. Log. Algebraic Methods Program. 105 (2019)
Joshua Moerman
Learning Product Automata. ICGI (2018)
David Venhoek, Joshua Moerman, Jurriaan Rot
Fast Computations on Ordered Nominal Sets. ICTAC (2018)
Petra van den Bos, Ramon Janssen, Joshua Moerman
n-Complete Test Suites for IOCO. ICTSS (2017)
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
Learning nominal automata. POPL (2017)
Joshua Moerman
Learning Product Automata. CoRR (2017)
Rick Smetsers, Joshua Moerman, David N. Jansen
Minimal Separating Sequences for All Pairs of States. LATA (2016)
Rick Smetsers, Joshua Moerman, Mark Janssen, Sicco Verwer
Complementing Model Learning with Mutation-Based Fuzzing. CoRR (2016)
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
Learning Nominal Automata. CoRR (2016)
Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen
Applying Automata Learning to Embedded Control Software. ICFEM (2015)