Formal Abstraction of Stochastic Systems: Bringing Theory into Practice

Recent developed theories in the field of formal abstraction of stochastic systems have provided new methods for solving the safety and reach-avoid problems. These new methods have been extended to fit controlled stochastic systems, resulting in a policy that optimizes the safety and reach-avoid probabilities. The goal of this thesis is to put...