State-space support for path-based reward variables

DOI10.1016/S0166-5316(99)00010-3zbMATH Open1051.68527MaRDI QIDQ4779396FDOQ4779396

Authors: W. Douglas Obal II, William H. Sanders 

Publication date: 24 June 2003

Published in: Performance Evaluation (Search for Journal in Brave)

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

zbMATH Keywords

performance

Mathematics Subject Classification ID

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

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)