Statistical model checking for Markov decision processes

  1. Lookup NU author(s)
  2. Dr Paolo Zuliani
Author(s)Henriques D, Martins JG, 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
Year of Conference2012
Legacy Date17-20 September 2012
Volume
Pages84-93
ISBN9781467323468
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherIEEE
URLhttp://dx.doi.org/10.1109/QEST.2012.19
DOI10.1109/QEST.2012.19
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item