Task 5.3
De MARMOTE
Task 5.3: Stochastic Verification by Simulation
Objectives
Improve the efficiency of Stochastic Model Checking with a combination of Perfect Simulation, Parallel Simulation and Numerical Simulation (in particular, stochastic bounds) techniques.
Structure
- Responsibles: N. Pekergin + J.-M. Fourneau
- Participants: A. Bušić, J.-M. Vincent, M.-A. Tran, S. Tan