State-space support for path-based reward variables

DOI10.1016/S0166-5316(99)00010-3MaRDI QIDQ4779396zbMATH OpenFDO

Authors W. Douglas Obal II, William H. Sanders

Publication date 24 June 2003

Published in Performance Evaluation (Search for Journal in Brave)

zbMATH Keywords

performance

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Measure-adaptive state-space construction
• scientific article; zbMATH DE number 1946767
• Modelling and analysis of Markov reward automata
• Performance evaluation with temporal rewards
• Specification techniques for Markov reward models

Cited in

(6)

• Markov reward models and Markov decision processes in discrete and continuous time: performance evaluation and optimization
• Guarded autonomous transitions increase conciseness and expressiveness of timed automata
• Performance model checking scenario-aware dataflow
• Action and State Based Computation Tree Measurement Language and Algorithms
• Performability assessment by model checking of Markov reward models
• Computation tree measurement language (CTML)

This page was built for publication: State-space support for path-based reward variables

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