Abstraction-Based Computation of Reward Measures for Markov Automata
Abstract elided by the publisher.
Related papers
- Long-Run Rewards for Markov Automata TACAS 2017
- Multi-objective Optimization of Long-run Average and Total Rewards TACAS 2021
- Efficient Sensitivity Analysis for Parametric Robust Markov Chains CAV 2023
- Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains TACAS 2024
- Compositional Probabilistic Model Checking with String Diagrams of MDPs CAV 2023
- Under-Approximating Expected Total Rewards in POMDPs TACAS 2022
- Maximizing the Conditional Expected Reward for Reaching the Goal TACAS 2017
- Fixed Point Certificates for Reachability and Expected Rewards in MDPs TACAS 2025