1 paper · 1 filter
Kaushik Mallik, Ðorđe Žikelić
We consider the problems of formal verification and synthesis in parametric Markov decision processes (MDPs) with general measurable state and action spaces. The heart of our appro…