Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives

no code implementations • 4 Feb 2022 • Anand Balakrishnan, Stefan Jakšić, Edgar A. Aguilar, Dejan Ničković, Jyotirmoy V. Deshmukh

There are several examples of the use of formal languages such as temporal logics and automata to specify high-level task specifications for robots (in lieu of Markovian rewards).

reinforcement-learning Reinforcement Learning (RL)