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)

Model-based Reinforcement Learning from Signal Temporal Logic Specifications

no code implementations • 10 Nov 2020 • Parv Kapoor, Anand Balakrishnan, Jyotirmoy V. Deshmukh

In this paper, we propose expressing desired high-level robot behavior using a formal specification language known as Signal Temporal Logic (STL) as an alternative to reward/cost functions.

Autonomous Vehicles Model-based Reinforcement Learning +2

Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning

no code implementations • 3 Oct 2019 • Kolby Nottingham, Anand Balakrishnan, Jyotirmoy Deshmukh, David Wingate

We propose using propositional logic to specify the importance of multiple objectives.

Multi-Objective Reinforcement Learning reinforcement-learning