Consistency and refinement for interval Markov chains

DOI10.1016/J.JLAP.2011.10.003MaRDI QIDQ444461zbMATH OpenOpenAlexFDO

Authors Benoît Delahaye, Axel Legay, Mikkel L. Pedersen, Andrzej Wąsowski, Kim G. Larsen

Publication date 14 August 2012

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2011.10.003

zbMATH Keywords

abstractioncomplexitydeterminismMarkov chainrefinement

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Decision Problems for Interval Markov Chains
• Consistency for parametric interval Markov chains
• LTL model checking of interval Markov chains
• Quantitative analysis of interval Markov chains
• Parameter synthesis for parametric interval Markov chains

Cites work

• 20 years of modal and mixed specifications.
• A logic for reasoning about time and reliability
• Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
• Compositional abstraction for stochastic systems
• Counterexample-guided abstraction refinement for symbolic model checking
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 1306878 (Why is no real title available?)
• scientific article; zbMATH DE number 898449 (Why is no real title available?)
• Markov set-chains
• Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
• Modal and mixed specifications: key decision problems and their complexities
• Model Checking Software
• Model-Checking ω-Regular Properties of Interval Markov Chains
• Probabilistic automata
• Probabilistic extensions of process algebras.
• Three-Valued Abstraction for Continuous-Time Markov Chains
• Tools and Algorithms for the Construction and Analysis of Systems
• Validation of Stochastic Systems

Cited in

(8)

• Compositionality for quantitative specifications
• Consistency in parametric interval probabilistic timed automata
• Decision Problems for Interval Markov Chains
• Consistency of Feature Markov Processes
• Consistency for parametric interval Markov chains
• LTL model checking of interval Markov chains
• Constraint Markov chains
• Quantitative analysis of interval Markov chains

This page was built for publication: Consistency and refinement for interval Markov chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444461)