Statistical model checking for Markov decision processes

  1. Lookup NU author(s)
  2. Dr Paolo Zuliani
Author(s)Henriques D, Martins J, Zuliani P, Platzer A, Clarke EM
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference Name9th International Conference on Quantitative Evaluation of SysTems (QEST)
Conference LocationLondon, UK
Year of Conference2012
Date17-20 September 2012
Volume
Pages
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.