research
∙
12/28/2020
Disentangled Planning and Control in Vision Based Robotics via Reward Machines
In this work we augment a Deep Q-Learning agent with a Reward Machine (D...
share
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
∙
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