MASTER THESES
Reachability anaysis in continuous-time Markov decision processes
Logics towards POMDP with and/or without rewards
Energy consumption in Ad-Hoc and Sensor Networks
Stochastic Interfaces
An eclipse environment for Modest (finished)
Analysis of an Airbag Control Unit (finished)