Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
Keyword(s):
2007 ◽
pp. 428-444
◽
Keyword(s):
2012 ◽
Vol 38
(5)
◽
pp. 673-687
◽
1992 ◽
Vol 43
(11)
◽
pp. 1095-1102
Keyword(s):