Model checking of open interval Markov chains

DOI10.1007/978-3-319-18579-8_3MaRDI QIDQ1649575zbMATH OpenOpenAlexWikidataFDO

Authors Souymodip Chakraborty, Joost-Pieter Katoen

Publication date 6 July 2018

Full work available at URL https://doi.org/10.1007/978-3-319-18579-8_3

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)

Recommendations

• 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
• LTL model checking of interval Markov chains
• On the complexity of model checking interval-valued discrete time Markov chains

Cited in

(12)

• Qualitative reachability for open interval Markov chains
• On the complexity of model checking interval-valued discrete time Markov chains
• Finite discrete time Markov chains with interval probabilities
• Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
• Model Checking Interactive Markov Chains
• Model checking interactive Markov chains
• Probabilistic timed automata with one clock and initialised clock-dependent probabilities
• Probabilistic timed automata with one clock and initialised clock-dependent probabilities
• Model-Checking ω-Regular Properties of Interval Markov Chains
• Parameter Synthesis Algorithms for Parametric Interval Markov Chains
• Tools and Algorithms for the Construction and Analysis of Systems
• Comparing labelled Markov decision processes

This page was built for publication: Model checking of open interval Markov chains

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