Details for the publication HahnHZ11a.

Ernst Moritz Hahn (), Tingting Han, Lijun Zhang: Synthesis for PCTL in Parametric Markov Decision Processes. In NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, volume 6617 of Lecture Notes in Computer Science, pages 146-161, 2011. DOI BIB