Joshua Moerman
  

View Scopus Profile

Joshua Moerman

dr.

 https://orcid.org/0000-0001-9819-8374
20212022

Research activity per year

If you made any changes in Pure these will be visible here soon.
  • 1 Conference article in proceeding
  • 1 Preprint

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 proceeding › Conference article in proceeding › Academic › peer-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 / Preprint › Preprint › Academic

    Open Access