Symposium: Mini-workshop on modelling & analysis of stochastic systems

When: Dec. 17, 2014, 13:30-17:30

Where: Carré 1333

Who: other:


13:30 Prof. dr. ir. Boudewijn Haverkort - Opening of the workshop

13:40 Prof. dr. Hans van den Berg (TNO/UT) 

Flow level modeling of communication networks: Is it really useful?

14:10 Prof. dr. ir. Joost-Pieter Katoen (RWTH Aachen/UT)

               Stochastic Petri Nets 2.0

14:40 Coffee Break

15:00 Prof. dr. Peter Buchholz (TU Dortmund)

               Markov Decision Processes with Uncertain Parameters

15:30 Prof. dr. Jeremy Bradley (Imperial College London) 

Scalable analysis of accumulated reward measures and other treats

16:00 Closing

16:30 Anja Kolesnichenko - Introduction to the thesis (Collegezaal 4, Waaier, UT)

16:45 PhD defense (Collegezaal 4, Waaier, UT)