Modelling and Analysis of Markov Reward Automata

DOI10.1007/978-3-319-11936-6_13zbMath1448.68265OpenAlexW1874444266MaRDI QIDQ3457788

Hassan Hatefi, Dennis Guck, Enno Ruijters, Mark Timmer, Mariëlle I. A. Stoelinga

Publication date: 17 December 2015

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/modelling-and-analysis-of-markov-reward-automata(2f590fbb-dcfb-446d-b41b-7fd192aea72c).html

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (7)

Markov automata with multiple objectives ⋮ Cost vs. time in stochastic games and Markov automata ⋮ Probabilistic bisimulation for realistic schedulers ⋮ Long-Run Rewards for Markov Automata ⋮ Attribute-Based Signatures for Circuits from Bilinear Map ⋮ Probabilistic Bisimulation for Realistic Schedulers ⋮ Multi-objective optimization of long-run average and total rewards

This page was built for publication: Modelling and Analysis of Markov Reward Automata