Incremental Verification of Parametric and Reconfigurable Markov Chains

DOI10.1007/978-3-319-99154-2_9zbMath1514.68133arXiv1804.01872MaRDI QIDQ6104805

Sven Schewe, Paul Gainer, Ernst Moritz Hahn

Publication date: 28 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.01872

zbMATH Keywords

state eliminationincident transitionsMarkov chain parameters (PMC)volatile areaszeroconf protocol

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Parameter synthesis for Markov models: faster than ever
• Model Repair for Probabilistic Systems
• Stochastic Model Checking
• Synchronization of Pulse-Coupled Biological Oscillators
• Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking
• Theoretical Aspects of Computing - ICTAC 2004

This page was built for publication: Incremental Verification of Parametric and Reconfigurable Markov Chains