A counterexample-guided abstraction-refinement framework for Markov decision processes. (English) Zbl 1351.68154
MSC:
68Q60 | Specification and verification (program logics, model checking, etc.) |
68Q87 | Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) |
90C40 | Markov and semi-Markov decision processes |