Numerical vs. statistical probabilistic model checking: An empirical study

HLS Younes; Marta Kwiatkowska; Gethin Norman; David Parker

Numerical vs. statistical probabilistic model checking: An empirical study

HLS Younes
, Marta Kwiatkowska
, Gethin Norman
, David Parker

Computer Science

Research output: Contribution to conference (unpublished) › Paper

28 Citations (Scopus)

Original language	English
Pages	46-60
Number of pages	15
Publication status	Published - 1 Jan 2004
Event	10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 29-Apr 02, 2004. Barcelona, Spain - Duration: 1 Jan 2004 → …

Conference

Conference	10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 29-Apr 02, 2004. Barcelona, Spain
Period	1/01/04 → …

Keywords

TACAS'04

Cite this

@conference{4e62c1d14c9d4a8fa75b55c28a0e12c6,

title = "Numerical vs. statistical probabilistic model checking: An empirical study",

keywords = "TACAS'04",

author = "HLS Younes and Marta Kwiatkowska and Gethin Norman and David Parker",

year = "2004",

month = jan,

day = "1",

language = "English",

pages = "46--60",

note = "10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 29-Apr 02, 2004. Barcelona, Spain ; Conference date: 01-01-2004",

}

Numerical vs. statistical probabilistic model checking: An empirical study. / Younes, HLS; Kwiatkowska, Marta; Norman, Gethin et al.
2004. 46-60 Paper presented at 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 29-Apr 02, 2004. Barcelona, Spain.

Research output: Contribution to conference (unpublished) › Paper

TY - CONF

T1 - Numerical vs. statistical probabilistic model checking: An empirical study

AU - Younes, HLS

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

PY - 2004/1/1

Y1 - 2004/1/1

KW - TACAS'04

M3 - Paper

SP - 46

EP - 60

T2 - 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 29-Apr 02, 2004. Barcelona, Spain

Y2 - 1 January 2004

ER -