共 50 条
- [12] MARKOV DECISION-PROCESSES WITH BOTH CONTINUOUS AND IMPULSIVE CONTROL LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1986, 81 : 234 - 246
- [13] Constrained continuous-time Markov decision processes with average criteria Mathematical Methods of Operations Research, 2008, 67 : 323 - 340
- [15] Constrained Continuous-Time Markov Decision Processes on the Finite Horizon Applied Mathematics & Optimization, 2017, 75 : 317 - 341
- [16] Bisimulation and logical preservation for continuous-time Markov decision processes CONCUR 2007 - CONCURRENCY THEORY, PROCEEDINGS, 2007, 4703 : 412 - +
- [17] Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 98 - 117