Model checking of open interval Markov chains
From MaRDI portal
Publication:1649575
DOI10.1007/978-3-319-18579-8_3zbMath1392.68240OpenAlexW970178447WikidataQ57800693 ScholiaQ57800693MaRDI QIDQ1649575
Joost-Pieter Katoen, Souymodip Chakraborty
Publication date: 6 July 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-18579-8_3
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)
Related Items (4)
Parameter Synthesis Algorithms for Parametric Interval Markov Chains ⋮ Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities ⋮ Unnamed Item ⋮ Reachability in parametric interval Markov chains using constraints
This page was built for publication: Model checking of open interval Markov chains
