Long-Run Rewards for Markov Automata
No abstract available.
Related papers
- Multi-objective Optimization of Long-run Average and Total Rewards TACAS 2021
- Value Iteration for Long-Run Average Reward in Markov Decision Processes CAV 2017
- Abstraction-Based Computation of Reward Measures for Markov Automata VMCAI 2015
- Multiple Long-Run and ømega-Regular Objectives in MDPs TACAS 2026
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP CAV 2022
- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets VMCAI 2009
- Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata CAV 2025
- Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains TACAS 2024