Summary: PhD-TW Colloquium
!
!!
!
"!#$%&'($#)*!+(,'!-&!./0!$0(,!,1&0!
!
2(&13,!4015*60$70&!
!
Stochastic Operations Research
!
Date & Place:! 8 December 2011, Citadel H327
!
Time:! 15:45­16:45
!
!
!
"6*.$(8.9!
The basic idea of Statistical Model Checking is to repeatedly simulate the behavior of a real-world system in
order to say something about the probability that some performance property is satisfied. When the system
model is huge, a single simulation run can take hours. Accordingly, it is vital to be able to terminate as soon as

Source: Al Hanbali, Ahmad - Department of Applied Mathematics, Universiteit Twente

Collections: Engineering