Weighted Lumpability on Markov Chains

DOI10.1007/978-3-642-29709-0_28zbMath1336.68186OpenAlexW1575787262WikidataQ57801188 ScholiaQ57801188MaRDI QIDQ3457985

Arpit Sharma, Joost-Pieter Katoen

Publication date: 7 December 2015

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29709-0_28

zbMATH Keywords

bisimulationcontinuous-time Markov chainmetric temporal logicdeterministic timed automatonweighted lumpability

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of continuous-time Markov processes on discrete state spaces (60J28) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (4)

Time-Bounded Verification of CTMCs against Real-Time Specifications ⋮ On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi ⋮ The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism ⋮ Unwinding biological systems

This page was built for publication: Weighted Lumpability on Markov Chains