31 citations · 242 across the 55 of their papers we have counts for
Showing 2022 · cs.FLShow all
3 papers · 2 filters
cs.FL2022
Natural Colors of Infinite Words
Rüdiger Ehlers, Sven Schewe
While finite automata have minimal DFAs as a simple and natural normal form, deterministic omega-automata do not currently have anything similar. One reason for this is that a norm…
cs.FL2022
Alternating Good-for-MDP Automata
Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3
When omega-regular objectives were first proposed in model-free reinforcement learning (RL) for controlling MDPs, deterministic Rabin automata were used in an attempt to provide a…
cs.FL2022
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…