Performance analysis of probabilistic action systems

DOI10.1007/s00165-004-0037-6zbMath1061.68027DBLPjournals/fac/HallerstedeB04OpenAlexW1988364662WikidataQ59626031 ScholiaQ59626031MaRDI QIDQ1764427

Xianqiang Yang

Publication date: 24 February 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/258925/1/perfanalysis.pdf

zbMATH Keywords

Markov decision processSimulationTrace refinement

Mathematics Subject Classification ID

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

Uses Software

• SHARPE
• PEPA

This page was built for publication: Performance analysis of probabilistic action systems