1. Approximate model checking of stochastic hybrid systems;Abate;European Journal of Control,2010
2. Model checking of probabilistic and nondeterministic systems;Alfaro,1995
3. Baier, C. (1998). On algorithmic verification methods for probabilistic systems. Ph.D. thesis.
4. Banaszuk, A., & Pasini, J. (2009). Robust Uncertainty Management, DARPA DSO Final Report. Technical Report, UTRC.
5. Queueing networks and Markov chains;Bolch,2005