Login / Signup

Synthesis for PCTL in Parametric Markov Decision Processes.

Ernst Moritz HahnTingting HanLijun Zhang
Published in: NASA Formal Methods (2011)
Keyphrases