Abstract
Tutorial on using hypothesis testing for solving the probabilistic model checking problem.
| Original language | English (US) |
|---|---|
| Pages | 3 |
| Number of pages | 1 |
| DOIs | |
| 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
Fingerprint
Dive into the research topics of 'Simulation + Hypothesis testing for model checking of probabilistic systems'. Together they form a unique fingerprint.Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS