Long-Run Rewards for Markov Automata

DOI10.1007/978-3-662-54580-5_11MaRDI QIDQ3303930zbMATH OpenOpenAlexFDO

Authors Yuliya Butkova, Ralf Wimmer, Holger Hermanns

Publication date 5 August 2020

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-54580-5_11

Mathematics Subject Classification ID

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

Recommendations

• Modelling and analysis of Markov reward automata
• Markov decision processes with arbitrary reward processes
• Reward algorithms for semi-Markov processes
• Abstraction-based computation of reward measures for Markov automata
• Continuous-time markov decision processes with nonzero terminal reward
• On finite long run costs and rewards in infinite Markov chains
• Value iteration for long-run average reward in Markov decision processes
• Analysis of timed and long-run objectives for Markov automata

Cites work

• Analysis of timed and long-run objectives for Markov automata
• Confluence reduction for Markov automata
• Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
• scientific article; zbMATH DE number 3126094 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• Modelling and analysis of Markov reward automata
• Stochastic Processes with Applications

Cited in

(9)

• Multi-objective optimization of long-run average and total rewards
• Cost vs. time in stochastic games and Markov automata
• Efficient modelling and generation of Markov automata
• Analysis of timed and long-run objectives for Markov automata
• Modelling and analysis of Markov reward automata
• Abstraction-based computation of reward measures for Markov automata
• A Modest Approach to Modelling and Checking Markov Automata
• A modest Markov automata tutorial
• A modest approach to Markov automata

Describes a project that uses

Uses Software

• SCOOP

This page was built for publication: Long-Run Rewards for Markov Automata

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