2 papers
cs.DS2026
An Objective Improvement Approach to Solving Discounted Payoff Games
Daniele Dell'Erba, Arthur Dumas, Sven Schewe
While discounted payoff games and classic games that reduce to them, like parity and mean-payoff games, are symmetric, their solutions are not. We have taken a fresh view on the pr…
cs.FL2025
On Good-for-MDPs Automata
Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
Nondeterministic good-for-MDPs (GFM) automata are for MDP model checking and reinforcement learning what good-for-games (GFG) automata are for reactive synthesis: a more compact al…