共 50 条
- [33] On the estimation of partially observed continuous-time Markov chains Computational Statistics, 2023, 38 : 1357 - 1389
- [39] A Probabilistic Logic for Verifying Continuous-time Markov Chains TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II, 2022, 13244 : 3 - 21