Toggle Main Menu Toggle Search

Open Access padlockePrints

Statistical model checking for Markov decision processes

Lookup NU author(s): Dr Paolo Zuliani


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Henriques D, Martins JG, Zuliani P, Platzer A, Clarke EM

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 9th International Conference on Quantitative Evaluation of SysTems (QEST)

Year of Conference: 2012

Pages: 84-93

Publisher: IEEE


DOI: 10.1109/QEST.2012.19

Library holdings: Search Newcastle University Library for this item

ISBN: 9781467323468