research
∙
03/09/2023
Computably Continuous Reinforcement-Learning Objectives are PAC-learnable
In reinforcement learning, the classic objectives of maximizing discount...
research
∙
11/24/2021
Reinforcement Learning for General LTL Objectives Is Intractable
In recent years, researchers have made significant progress in devising ...
research
∙
07/22/2020
Simplifying Multiple-Statement Reductions with the Polyhedral Model
A Reduction – an accumulation over a set of values, using an associative...
research
∙
05/04/2018