共 50 条
- [21] Bisimulation and logical preservation for continuous-time Markov decision processes CONCUR 2007 - CONCURRENCY THEORY, PROCEEDINGS, 2007, 4703 : 412 - +
- [22] Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 98 - 117
- [27] Constrained Continuous-Time Markov Decision Processes on the Finite Horizon APPLIED MATHEMATICS AND OPTIMIZATION, 2017, 75 (02): : 317 - 341
- [28] A survey of recent results on continuous-time Markov decision processes TOP, 2006, 14 : 177 - 261
- [29] A characterization of meaningful schedulers for continuous-time Markov decision processes FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2006, 4202 : 352 - 367
- [30] Optimal control of average reward constrained continuous-time finite Markov Decision Processes PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 3805 - 3810