45 citations · 68 across the 19 of their papers we have counts for
3 papers · 1 filter
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…
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi +3
We characterize the class of nondeterministic -automata that can be used for the analysis of finite Markov decision processes (MDPs). We call these automata `good-for-MDPs' (GFM…
On Timed Scope-bounded Context-sensitive Languages
Devendra. Bhave, S. N. Krishna, Ramchandra Phawade +1
In (DLT 2016) we studied timed context sensitive languages characterized by multiple stack push down automata (MPA), with an explicit bound on number of stages where in each stage…