Learning Algorithms for Verification of Markov Decision Processes

Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelik +6

We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs). The primary goal of our techniques…