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]

No reviews for this publication, yet.