×
Chadha, Rohit; Viswanathan, Mahesh

A counterexample-guided abstraction-refinement framework for Markov decision processes. (English) Zbl 1351.68154

ACM Trans. Comput. Log. 12, No. 1, Article No. 1, 49 p. (2010).

Cited in 11 Documents

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

Keywords:

Counterexamples; Markov decision processes; abstraction; model checking; refinement
Cite Review PDF
Full Text: DOI arXiv