Reward Shaping for Reinforcement Learning with Omega-Regular Objectives

01/16/2020
by   E. M. Hahn, et al.
0

Recently, successful approaches have been made to exploit good-for-MDPs automata (Büchi automata with a restricted form of nondeterminism) for model free reinforcement learning, a class of automata that subsumes good for games automata and the most widespread class of limit deterministic automata. The foundation of using these Büchi automata is that the Büchi condition can, for good-for-MDP automata, be translated to reachability. The drawback of this translation is that the rewards are, on average, reaped very late, which requires long episodes during the learning process. We devise a new reward shaping approach that overcomes this issue. We show that the resulting model is equivalent to a discounted payoff objective with a biased discount that simplifies and improves on prior work in this direction.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/06/2022

Alternating Good-for-MDP Automata

When omega-regular objectives were first proposed in model-free reinforc...
research
09/26/2018

Omega-Regular Objectives in Model-Free Reinforcement Learning

We provide the first solution for model-free reinforcement learning of ω...
research
06/16/2021

Mungojerrie: Reinforcement Learning of Linear-Time Objectives

Reinforcement learning synthesizes controllers without prior knowledge o...
research
12/01/2017

A double competitive strategy based learning automata algorithm

Learning Automata (LA) are considered as one of the most powerful tools ...
research
07/17/2023

Discounted-Sum Automata with Multiple Discount Factors

Discounting the influence of future events is a key paradigm in economic...
research
09/18/2017

Stochastic Stability of Perturbed Learning Automata in Positive-Utility Games

This paper considers a class of reinforcement-based learning (namely, pe...
research
08/02/2020

MDA Models and PIM/PSM Transformations Using Extended Automata

This paper proposes a model of execution platform for the OMG request of...

Please sign up or login with your details

Forgot password? Click here to reset