If you made any changes in Pure these will be visible here soon.

Search results

  • 2022

    Gradient-Descent for Randomized Controllers Under Partial Observability

    Heck, L., Spel, J., Junges, S., Moerman, J. & Katoen, J-P., 2022, Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings. Finkbeiner, B. & Wies, T. (eds.). 1 ed. Springer, p. 127-150 24 p. (Lecture Notes in Computer Science, Vol. 13182). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 13182).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • 2021

    Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

    Bojanczyk, M., Klin, B. & Moerman, J., Apr 2021, Cornell University - arXiv.

    Research output: Working paper / PreprintPreprintAcademic

    Open Access