A counterexample-guided abstraction-refinement framework for markov decision processes
2010 ◽
Vol 12
(1)
◽
pp. 1-49
◽
Keyword(s):
2010 ◽
Vol 36
(3)
◽
pp. 246-280
◽
Keyword(s):
2012 ◽
Vol 38
(5)
◽
pp. 673-687
◽
1992 ◽
Vol 43
(11)
◽
pp. 1095-1102
Keyword(s):