Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Separation and Renaming in Nominal Sets., and . CSL, volume 152 of LIPIcs, page 31:1-31:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)n-Complete test suites for IOCO., , and . Softw. Qual. J., 27 (2): 563-588 (2019)Learning nominal automata., , , , and . POPL, page 613-625. ACM, (2017)Gradient-Descent for Randomized Controllers Under Partial Observability., , , , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 127-150. Springer, (2022)Learning Product Automata.. CoRR, (2017)Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata., , and . LICS, page 1-13. IEEE, (2021)Fast Computations on Ordered Nominal Sets., , and . CoRR, (2019)Residuality and Learning for Nondeterministic Nominal Automata., and . Log. Methods Comput. Sci., (2022)Gradient-Descent for Randomized Controllers under Partial Observability., , , , and . CoRR, (2021)Generating Functions for Probabilistic Programs., , , , , and . LOPSTR, volume 12561 of Lecture Notes in Computer Science, page 231-248. Springer, (2020)