A note on the attractor-property of infinite-state Markov chains
type: Item
instance of: scholarly article
title: A note on the attractor-property of infinite-state Markov chains
zbMATH Open document ID: 1191.68330
author: Christel Baier
author: Nathalie Bertrand
author: Philippe Schnoebelen
published in: Information Processing Letters
publication date: 2009-12-18T00:00:00Z
Mathematics Subject Classification ID: 68Q15
zbMATH DE Number: 5650172
zbMATH Keywords: theory of computation
zbMATH Keywords: attractors in Markov chains
zbMATH Keywords: verification of probabilistic systems
zbMATH Keywords: lossy channel systems
describes a project that uses: PRISM
MaRDI profile type: Publication
full work available at URL: j.ipl.2005.09.011
OpenAlex ID: W2111172654
cites work: Verification of probabilistic systems with faulty communication
cites work: Q4417850
cites work: Q4036557
cites work: Q4417855
cites work: On Communicating Finite-State Machines
cites work: Markov Chains
cites work: Computer Aided Verification
cites work: The complexity of probabilistic verification
cites work: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Automata, Languages and Programming
cites work: A logic for reasoning about time and reliability
cites work: Q5528211
cites work: Automatic verification of real-time systems with discrete probability distributions.
cites work: Measure and probability for concurrency theorists
cites work: Q4449237
cites work: Validation of Stochastic Systems
DOI: 10.1016/J.IPL.2005.09.011
description: scientific article; zbMATH DE number 5650172