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)