Quantitative analysis of interval Markov chains

DOI10.1007/978-3-030-91384-7_4zbMATH Open1522.68296OpenAlexW4205646392MaRDI QIDQ6041189FDOQ6041189

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

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

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)

Cites Work

• Title not available (Why is that?)
• LTL model checking of interval Markov chains
• Bisimulation through probabilistic testing
• A logic for reasoning about time and reliability
• Parametric real-time reasoning
• Decision Problems for Interval Markov Chains
• Consistency and refinement for interval Markov chains
• Model-Checking ω-Regular Properties of Interval Markov Chains
• Tools and Algorithms for the Construction and Analysis of Systems
• Reachability in parametric interval Markov chains using constraints
• Title not available (Why is that?)
• A fully abstract trace model for dataflow and asynchronous networks
• Title not available (Why is that?)
• Parameter synthesis for parametric interval Markov chains
• On the complexity of model checking interval-valued discrete time Markov chains
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
• Parameter Synthesis Algorithms for Parametric Interval Markov Chains

Cited In (8)

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

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)