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

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

• 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)