activity
20092024
most citedBüchi complementation made tight

31 citations · 242 across the 55 of their papers we have counts for

collaborators

63 papers

cs.DS2024

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.LO2023★ 1 cited

Omega-Regular Decision Processes

Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3

Regular decision processes (RDPs) are a subclass of non-Markovian decision processes where the transition and reward functions are guarded by some regular property of the past (a l…

cs.DS2023★ 1 cited

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 co…

cs.LG2023

Omega-Regular Reward Machines

Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3

Reinforcement learning (RL) is a powerful approach for training agents to perform tasks, but designing an appropriate reward mechanism is critical to its success. However, in many…

cs.FL2023

On the Succinctness of Good-for-MDPs Automata

Sven Schewe, Qiyi Tang

Good-for-MDPs and good-for-games automata are two recent classes of nondeterministic automata that reside between general nondeterministic and deterministic automata. Deterministic…

cs.FL2023

A novel family of finite automata for recognizing and learning -regular languages

Yong Li, Sven Schewe, Qiyi Tang

Families of DFAs (FDFAs) have recently been introduced as a new representation of -regular languages. They target ultimately periodic words, with acceptors revolving around acce…