共 50 条
- [32] LTL Model Checking of Time-Inhomogeneous Markov Chains AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 104 - +
- [37] COMPARISON OF ASYMPTOTIC VARIANCES OF INHOMOGENEOUS MARKOV CHAINS WITH APPLICATION TO MARKOV CHAIN MONTE CARLO METHODS ANNALS OF STATISTICS, 2014, 42 (04): : 1483 - 1510
- [39] Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2008, 5215 : 203 - 217