Long-Run Rewards for Markov Automata

DOI10.1007/978-3-662-54580-5_11zbMath1452.68102OpenAlexW2598699400MaRDI QIDQ3303930

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)

Related Items (1)

Multi-objective optimization of long-run average and total rewards

Uses Software

• SCOOP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Confluence Reduction for Markov Automata
• Analysis of Timed and Long-Run Objectives for Markov Automata
• Stochastic Processes with Applications
• Modelling and Analysis of Markov Reward Automata

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