共 50 条
- [2] Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 98 - 117
- [5] Asymptotic error distributions of the Euler method for continuous-time nonlinear filtering Japan Journal of Industrial and Applied Mathematics, 2020, 37 : 383 - 413