✦ LIBER ✦

Model checking conditional CSL for continuous-time Markov chains

✍ Scribed by Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A tool for model-checking Markov chains

✍ Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 470 KB

Integrals for continuous-time Markov cha

✍ P.K. Pollett 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 146 KB

Finite Continuous Time Markov Chains

✍ Kemeny, John G.; Snell, J. Laurie 📂 Article 📅 1961 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 504 KB

Asymptotic inference for continuous-time

✍ R. Höpfner 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 567 KB

Continuous-time markov chains as models

✍ Hans A.J. Metz; Herman Dienske; Gerrit de Jonge; Felix A. Putters 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 932 KB

A survey is given of the application of (functions of) continuous-time Markov chains in the statistical analysis of behavioural time series.

Comparison of methods for calculating co

✍ Paula Tataru; Asger Hobolth 📂 Article 📅 2011 🏛 BioMed Central 🌐 English ⚖ 301 KB