Decision algorithms for modelling, optimal control and verification of probabilistic systems

Vahid Hashemi. Decision algorithms for modelling, optimal control and verification of probabilistic systems. PhD thesis, Saarland University, Saarbrücken, Germany, 2017. [doi]

Abstract

Abstract is missing.