Model Checking Constrained Markov Reward Models with Uncertainties

DOI10.1007/978-3-030-30281-8_3MaRDI QIDQ6488992zbMATH OpenFDO

Authors Giovanni Bacci, Kim G. Larsen

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-30281-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

• Formal Modeling and Analysis of Timed Systems
• Modelling and analysis of Markov reward automata
• Specification techniques for Markov reward models
• Computing quantiles in Markov reward models
• Performability assessment by model checking of Markov reward models

This page was built for publication: Model Checking Constrained Markov Reward Models with Uncertainties

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