A drunkard's walk on the real line

Speaker:

Daniel Reijsbergen

Date:

23 September 2011

Time:

12:30

Room:

Zi-4126

Abstract:

The basic idea of Statistical Model Checking is to repeatedly simulate the behaviour 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 possible. We show how currently used techniques can be compared to a random walk on the real line. We then discuss the shortcomings of these methods and how these can be alleviated.