A Symbolic Algorithm for Optimal Markov Chain Lumping

DOI10.1007/978-3-540-71209-1_13zbMath1186.68324OpenAlexW1869716833MaRDI QIDQ5758108

Salem Derisavi

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_13

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Data structures (68P05) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (5)

Lumping and reversed processes in cooperating automata ⋮ Combining decomposition and reduction for state space analysis of a self-stabilizing system ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Probabilistic model checking of complex biological pathways ⋮ Two-layer symbolic representation for stochastic models with phase-type distributed events

Uses Software

• SIGREF
• PRISM

This page was built for publication: A Symbolic Algorithm for Optimal Markov Chain Lumping