Average-Price-per-Reward Games on Hybrid Automata with Strong Resets
No abstract available.
Related papers
- Multi-objective Optimization of Long-run Average and Total Rewards TACAS 2021
- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning TACAS 2023
- Playing Against Fair Adversaries in Stochastic Games with Total Rewards CAV 2022
- Long-Run Rewards for Markov Automata TACAS 2017
- Abstraction-Based Computation of Reward Measures for Markov Automata VMCAI 2015
- Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata APLAS 2001
- Resource-Optimal Scheduling Using Priced Timed Automata TACAS 2004
- As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata CAV 2001