Two papers of the MOVES group have been accepted at VMCAI 2022.

The paper entitled “Out of Control: Reducing Probabilistic Models by Control-State Elimination” by Tobias Winkler, Johannes Lehmann and Joost-Pieter Katoen presents a static-analysis technique for reducing finite-state probabilistic models in the PRISM modeling language.

The paper entitled “Gradient-Descent for Randomized Controllers under Partial Observability” by Jip Spel, Linus Heck, Sebastian Junges, Joshua Moerman and Joost-Pieter Katoen. This paper presents a novel technique for controller synthesis in POMDPs by parameter synthesis where the parameters are inferred by a global optimisation of some “reward” function using gradient descent algorithms.