共 50 条
- [21] Continuous-time controlled Markov chains with safety upper bound IET CONTROL THEORY AND APPLICATIONS, 2011, 5 (02): : 397 - 401
- [23] ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2017, : 484 - 495
- [26] Continuous-Time Markov Decisions Based on Partial Exploration AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2018), 2018, 11138 : 317 - 334
- [29] Markov Chain Monte Carlo for Continuous-Time Switching Dynamical Systems INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162, 2022,