共 50 条
- [44] 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
- [46] STABILITY OF CONTINUOUS-TIME NONHOMOGENEOUS MARKOV-CHAINS IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1991, (07): : 33 - 39
- [48] Application of continuous-time Markov chains by reliability analysis 2009 7TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS AND INFORMATICS, 2009, : 56 - 59
- [50] CSLTA:: an expressive logic for continuous-time Markov chains FOURTH INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2007, : 31 - +