Moerman, Joshua
- Generating Functions for Probabilistic Programs
2020/07/13 by Klinkenberg, Lutz, Batz, Kevin, Kaminski, Benjamin Lucien +3 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Learning Product Automata
2017/05/08 by Moerman, Joshua · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Software Engineering (cs.SE)
- Separation and Renaming in Nominal Sets
2019/06/03 by Moerman, Joshua, Rot, Jurriaan · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Output-decomposed Learning of Mealy Machines
2024/05/14 by Rick Koenders, Koenders, Rick, Joshua Moerman +1 · 2 citations
Materials Science · Computer Science · #Machine Learning in Materials Science #Neural Networks and Applications #Quantum Computing Algorithms and Architecture
- Gradient-Descent for Randomized Controllers under Partial Observability
2021/11/08 by Heck, Linus, Spel, Jip, Junges, Sebastian +2 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)