Quantitative analysis of interval Markov chains

DOI10.1007/978-3-030-91384-7_4MaRDI QIDQ6041189zbMATH OpenOpenAlexFDO

Authors Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard

Publication date 26 May 2023

Published in Model Checking, Synthesis, and Learning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-91384-7_4

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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• LTL model checking of interval Markov chains
• Model-Checking ω-Regular Properties of Interval Markov Chains
• Decision Problems for Interval Markov Chains
• Consistency and refinement for interval Markov chains
• On the complexity of model checking interval-valued discrete time Markov chains

Cites work

• scientific article; zbMATH DE number 3940709 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A fully abstract trace model for dataflow and asynchronous networks
• A logic for reasoning about time and reliability
• Bisimulation through probabilistic testing
• Consistency and refinement for interval Markov chains
• Consistency for parametric interval Markov chains
• Decision Problems for Interval Markov Chains
• LTL model checking of interval Markov chains
• Model-Checking ω-Regular Properties of Interval Markov Chains
• On the complexity of model checking interval-valued discrete time Markov chains
• Parameter Synthesis Algorithms for Parametric Interval Markov Chains
• Parameter synthesis for parametric interval Markov chains
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
• Parametric real-time reasoning
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(8)

• LTL model checking of interval Markov chains
• Consistency and refinement for interval Markov chains
• Qualitative reachability for open interval Markov chains
• Model-Checking ω-Regular Properties of Interval Markov Chains
• Tools and Algorithms for the Construction and Analysis of Systems
• On the complexity of model checking interval-valued discrete time Markov chains
• Parameter synthesis for Markov models: covering the parameter space
• Model checking, synthesis, and learning

This page was built for publication: Quantitative analysis of interval Markov chains

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