Robust PCTL model checking

A D'Innocenzo, A Abate, J.P. Katoen

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

25 Citations (Scopus)

Original language	English
Title of host publication	Hybrid Systems: Computation and Control 2012
Editors	T Dang, I Mitchell
Place of Publication	Beijing, China
Publisher	HSCC 2012
Pages	275-285
Number of pages	11
Publication status	Published - 2012
Event	Hybrid Systems: Computation and Control 2012, Beijing, China - Beijing, China Duration: 17 Apr 2012 → 19 Apr 2012

Name
Publisher	HSCC 2012

Conference	Hybrid Systems: Computation and Control 2012, Beijing, China
Period	17/04/12 → 19/04/12

Keywords

@inproceedings{a75f5a8eaadd46eea3ac29fb309ec737,

title = "Robust PCTL model checking",

keywords = "Conf.proc. > 3 pag",

author = "A D'Innocenzo and A Abate and J.P. Katoen",

year = "2012",

language = "English",

publisher = "HSCC 2012",

pages = "275--285",

editor = "T Dang and I Mitchell",

booktitle = "Hybrid Systems: Computation and Control 2012",

note = "Hybrid Systems: Computation and Control 2012, Beijing, China ; Conference date: 17-04-2012 Through 19-04-2012",

}

TY - GEN

T1 - Robust PCTL model checking

AU - D'Innocenzo, A

AU - Abate, A

AU - Katoen, J.P.

PY - 2012

Y1 - 2012

KW - Conf.proc. > 3 pag

M3 - Conference contribution

SP - 275

EP - 285

BT - Hybrid Systems: Computation and Control 2012

A2 - Dang, T

A2 - Mitchell, I

PB - HSCC 2012

CY - Beijing, China

T2 - Hybrid Systems: Computation and Control 2012, Beijing, China

Y2 - 17 April 2012 through 19 April 2012

ER -