Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
Statistical Model Checking for Markov Decision Processes
Publication date:
2012
Citation:
DBLP:conf/qest/HenriquesMZPC12
Abstract:
-
In proceedings
Authors:
David Henriques,
João Martins
, Paolo Zuliani, André Platzer, Edmund M. Clarke
Book title:
Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012
Series:
-
Publisher:
IEEE Computer Society
Address:
-
Volume:
-
Pages:
84-93
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
David Henriques and João Martins and Paolo Zuliani and André Platzer and Edmund M. Clarke, Statistical Model Checking for Markov Decision Processes, , Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, IEEE Computer Society, Pag. 84-93, 2012.
HTML:
David Henriques, <a href="/people/members/view.php?code=db5a83f742c71807382f3f26a4c7ebf0" class="author">João Martins</a>, Paolo Zuliani, André Platzer and Edmund M. Clarke, <b>Statistical Model Checking for Markov Decision Processes</b>, <u>Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012</u>, IEEE Computer Society, Pag. 84-93, 2012.
BibTeX:
@inproceedings {DBLP:conf/qest/HenriquesMZPC12, author = {David Henriques and Jo{\~a}o Martins and Paolo Zuliani and Andr{\'e} Platzer and Edmund M. Clarke}, title = {Statistical Model Checking for Markov Decision Processes}, booktitle = {Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012}, publisher = {IEEE Computer Society}, pages = {84-93}, year = {2012}, }
Publication's urls
Full url:
/publications/view.php?code=3bcfa000f407ad9d7722b6dcb7dbbfe9
Friendly url:
/publications/view.php?code=DBLP:conf/qest/HenriquesMZPC12
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541
