15 citations · 23 across the 3 of their papers we have counts for
3 papers
Disentangled Planning and Control in Vision Based Robotics via Reward Machines
Alberto Camacho, Jacob Varley, Deepali Jain +2
In this work we augment a Deep Q-Learning agent with a Reward Machine (DQRM) to increase speed of learning vision-based policies for robot tasks, and overcome some of the limitatio…
Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications
Alberto Camacho, Sheila A. McIlraith
Synthesizing a program that realizes a logical specification is a classical problem in computer science. We examine a particular type of program synthesis, where the objective is t…
Finite LTL Synthesis with Environment Assumptions and Quality Measures
Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
In this paper, we investigate the problem of synthesizing strategies for linear temporal logic (LTL) specifications that are interpreted over finite traces -- a problem that is cen…