Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes
1984 ◽
Vol 31
(2)
◽
pp. 265-274
◽