- Oggetto:
Rare Event Handling in Statistical Model Checking
- Oggetto:
Academic year 2013/2014
- Course ID
- SEM-REHSMC
- Year
- 1° anno 2° anno 3° anno
- Teaching period
- Seminario
- Type
- Seminario
- Credits/Recognition
- 0
- Course disciplinary sector (SSD)
- INF/01 - informatica
- Delivery
- Tradizionale
- Language
- Inglese
- Attendance
- Facoltativa
- Type of examination
- Non prevista
- Oggetto:
Sommario del corso
- Oggetto:
Course objectives
Statistical model-checking is an alternative verification technique
applied on stochastic systems whose size is beyond numerical analysis
ability. Given a model (most often a Markov chain) and a formula, it
provides a confidence interval for the probability that the model
satisfies the formula. One of the main limitations of the statistical
approach is the computation time explosion triggered by the evaluation
of very small probabilities. In order to solve this problem we develop a new approach based on importance sampling, coupling and uniformization which apply in the discrete and continuous setting
of time bounded or unbounded property. The corresponding algorithms have been implemented in our tool Cosmos.
Suggested readings and bibliography
- Oggetto:
- Oggetto:
Class schedule
Days Time Classroom Giovedì 12:00 - 13:00 Sala Seminari Dipartimento di Informatica Lessons: dal 24/01/2013 to 24/01/2013
- Oggetto:
Note
The seminar will be held by the ENS Student
Cachan Benoit Barbot
- Oggetto: