On Reduction Criteria for Probabilistic Reward Models

DOI10.1007/11944836_29zbMath1177.68150OpenAlexW1494055738MaRDI QIDQ5385995

No author found.

Publication date: 17 April 2008

Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11944836_29

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Model Checking Linear-Time Properties of Probabilistic Systems ⋮ Performability assessment by model checking of Markov reward models ⋮ Weighted versus Probabilistic Logics

This page was built for publication: On Reduction Criteria for Probabilistic Reward Models