Model Checking Constrained Markov Reward Models with Uncertainties

DOI10.1007/978-3-030-30281-8_3MaRDI QIDQ6488992FDOQ6488992

Authors: Giovanni Bacci, Kim G. Larsen 

Publication date: 14 March 2024

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

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)

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)