Alberto Camacho

According to our database, Alberto Camacho authored at least 18 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Reward Machines for Vision-Based Robotic Manipulation.

Alberto Camacho, Jacob Varley, Andy Zeng, Deepali Jain, Atil Iscen, Dmitry Kalashnikov

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

Disentangled Planning and Control in Vision Based Robotics via Reward Machines.

Alberto Camacho, Jacob Varley, Deepali Jain, Atil Iscen, Dmitry Kalashnikov

CoRR, 2020

2019

Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications.

Alberto Camacho, Sheila A. McIlraith

CoRR, 2019

Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals.

Alberto Camacho, Sheila A. McIlraith

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning.

Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning Interpretable Models Expressed in Linear Temporal Logic.

Alberto Camacho, Sheila A. McIlraith

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Towards a Unified View of AI Planning and Reactive Synthesis.

Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Finite LTL Synthesis with Environment Assumptions and Quality Measures.

Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

SynKit: LTL Synthesis as a Service.

Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

LTL Realizability via Safety and Reachability Games.

Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Finite LTL Synthesis as Planning.

Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.

Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith

Proceedings of the Advances in Artificial Intelligence, 2018

2017

Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping.

Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.

Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).

Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Strong-Cyclic Planning when Fairness is Not a Valid Assumption.

Alberto Camacho, Sheila A. McIlraith

Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Planning under Uncertainty and Temporally Extended Goals.

Alberto Camacho

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends.

Alberto Camacho, Christian J. Muise, Sheila A. McIlraith

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016