Simulation + Hypothesis testing for model checking of probabilistic systems

Axel Legay, Mahesh Viswanathan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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

Original languageEnglish (US)
Title of host publicationQEST - 6th International Conference on the Quantitative Evaluation of Systems
Pages3
Number of pages1
DOIs
StatePublished - 2009
EventQEST - 6th International Conference on the Quantitative Evaluation of Systems - Budapest, Hungary
Duration: Sep 13 2009Sep 16 2009

Other

OtherQEST - 6th International Conference on the Quantitative Evaluation of Systems
CountryHungary
CityBudapest
Period9/13/099/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