共 50 条
- [32] Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 98 - 117
- [33] Bisimulation and logical preservation for continuous-time Markov decision processes CONCUR 2007 - CONCURRENCY THEORY, PROCEEDINGS, 2007, 4703 : 412 - +
- [34] DENSITY DEPENDENT CONTINUOUS-TIME MARKOV BRANCHING-PROCESSES ANNALES DE L INSTITUT HENRI POINCARE-PROBABILITES ET STATISTIQUES, 1985, 21 (03): : 289 - 303