research
∙
01/08/2023
Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior
Many real-world reinforcement learning (RL) problems necessitate learnin...
share
research
∙
11/20/2022
Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines
Natural and formal languages provide an effective mechanism for humans t...
research
∙
11/08/2022
Learning to Follow Instructions in Text-Based Games
Text-based games present a unique class of sequential decision making pr...
research
∙
06/03/2022
Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks
Deep reinforcement learning has shown promise in discrete domains requir...
research
∙
12/17/2021
Learning Reward Machines: A Study in Partially Observable Reinforcement Learning
Reinforcement learning (RL) is a central problem in artificial intellige...
research
∙
06/04/2021
Be Considerate: Objectives, Side Effects, and Deciding How to Act
Recent work in AI safety has highlighted that in sequential decision mak...
research
∙
05/31/2021
AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement Learning
Human beings, even small children, quickly become adept at figuring out ...
research
∙
12/04/2020
Planning from Pixels using Inverse Dynamics Models
Learning task-agnostic dynamics models in high-dimensional observation s...
research
∙
10/06/2020
Interpretable Sequence Classification via Discrete Optimization
Sequence classification is the task of predicting a class label given a ...
research
∙
10/06/2020
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning
Reinforcement learning (RL) methods usually treat reward functions as bl...
research
∙
10/05/2020
The act of remembering: a study in partially observable reinforcement learning
Reinforcement Learning (RL) agents typically learn memoryless policies—p...
research
∙
05/06/2020
Towards the Role of Theory of Mind in Explanation
Theory of Mind is commonly defined as the ability to attribute mental st...
research
∙
12/31/2019
Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications
Synthesizing a program that realizes a logical specification is a classi...
research
∙
06/14/2019
Towards Empathetic Planning
Critical to successful human interaction is a capacity for empathy - the...
research
∙
08/31/2018
Finite LTL Synthesis with Environment Assumptions and Quality Measures
In this paper, we investigate the problem of synthesizing strategies for...
research
∙
09/14/2016
Finite LTL Synthesis is EXPTIME-complete
LTL synthesis -- the construction of a function to satisfy a logical spe...
research
∙
09/03/2009