State-space support for path-based reward variables

DOI10.1016/S0166-5316(99)00010-3zbMath1051.68527MaRDI QIDQ4779396

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)

Related Items (6)

Performance Model Checking Scenario-Aware Dataflow ⋮ Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization ⋮ Action and State Based Computation Tree Measurement Language and Algorithms ⋮ Guarded autonomous transitions increase conciseness and expressiveness of timed automata ⋮ 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