|
Formal methods, stochastic modeling, Markov decision processes and Markov chains, phase type distributions, simulation, optimization, stochastic shortest path problems, and cognitive human decision models
4th International ICST Conference on Simulation Tools and Techniques, Barcelona, Spain, March 2011
(Co)-supervised Theses
Participation in ROCKS Autumn School, October 2012