Révision datée du 24 juin 2013 à 15:22 par Ajm (discussion | contributions) (Page créée avec « == Task 5.3: Stochastic Verification by Simulation == === Objectives === Improve the efficiency of Stochastic Model Checking with a combination of Perfect Simulation, Par... »)
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