Simulation + Hypothesis testing for model checking of probabilistic systems

Axel Legay; Mahesh Viswanathan

doi:10.1109/QEST.2009.43

Simulation + Hypothesis testing for model checking of probabilistic systems

Axel Legay, Mahesh Viswanathan

Research output: Contribution to conference › Paper › peer-review

Abstract

Tutorial on using hypothesis testing for solving the probabilistic model checking problem.

Original language	English (US)
Pages	3
Number of pages	1
DOIs	https://doi.org/10.1109/QEST.2009.43
State	Published - 2009
Event	QEST - 6th International Conference on the Quantitative Evaluation of Systems - Budapest, Hungary Duration: Sep 13 2009 → Sep 16 2009

Other

Other	QEST - 6th International Conference on the Quantitative Evaluation of Systems
Country/Territory	Hungary
City	Budapest
Period	9/13/09 → 9/16/09

Keywords

Hypothesis testing
Probability
Simulation

ASJC Scopus subject areas

Computer Networks and Communications
Control and Systems Engineering
Electrical and Electronic Engineering

Online availability

10.1109/QEST.2009.43

Library availability

Discover UIUC Full Text

Cite this

@conference{bf7660f053624a5285996d257eec6e9d,

title = "Simulation + Hypothesis testing for model checking of probabilistic systems",

abstract = "Tutorial on using hypothesis testing for solving the probabilistic model checking problem.",

keywords = "Hypothesis testing, Probability, Simulation",

author = "Axel Legay and Mahesh Viswanathan",

year = "2009",

doi = "10.1109/QEST.2009.43",

language = "English (US)",

pages = "3",

note = "QEST - 6th International Conference on the Quantitative Evaluation of Systems ; Conference date: 13-09-2009 Through 16-09-2009",

}

TY - CONF

T1 - Simulation + Hypothesis testing for model checking of probabilistic systems

AU - Legay, Axel

AU - Viswanathan, Mahesh

PY - 2009

Y1 - 2009

N2 - Tutorial on using hypothesis testing for solving the probabilistic model checking problem.

AB - Tutorial on using hypothesis testing for solving the probabilistic model checking problem.

KW - Hypothesis testing

KW - Probability

KW - Simulation

UR - http://www.scopus.com/inward/record.url?scp=74049138328&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=74049138328&partnerID=8YFLogxK

U2 - 10.1109/QEST.2009.43

DO - 10.1109/QEST.2009.43

M3 - Paper

AN - SCOPUS:74049138328

SP - 3

T2 - QEST - 6th International Conference on the Quantitative Evaluation of Systems

Y2 - 13 September 2009 through 16 September 2009

ER -

Simulation + Hypothesis testing for model checking of probabilistic systems

Abstract

Other

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this