𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A tool for model-checking Markov chains

✍ Scribed by Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle

Publisher
Springer
Year
2003
Tongue
English
Weight
470 KB
Volume
4
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Tool for Abstraction in Model Checking
A Tool for Abstraction in Model Checking
✍ MarΓ­a del Mar Gallardo; JesΓΊs MartΓ­nez; Pedro Merino; Ernesto Pimentel πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 370 KB
A simple check of the time homogeneity o
A simple check of the time homogeneity of Markov chains
✍ Anders Mattsson; Daniel Thorburn πŸ“‚ Article πŸ“… 1989 πŸ› John Wiley and Sons 🌐 English βš– 417 KB πŸ‘ 1 views

In this paper we consider a population where the state of each individual follows a Markov chain. If the population is recorded for a very few periods only, it is still possible to estimate the transition matrix and to make projections into the far future. These forecasts are sensible if the chains

A fluctuation theory for Markov chains
A fluctuation theory for Markov chains
✍ V.G. Kulkarni; N.U. Prabhu πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 803 KB