Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Alberto Camacho

Disentangled Planning and Control in Vision Based Robotics via Reward Machines


Dec 28, 2020
Alberto Camacho, Jacob Varley, Deepali Jain, Atil Iscen, Dmitry Kalashnikov

* Accepted to the Deep Reinforcement Learning Workshop at Neural Information Processing Systems (2020) 

  Access Paper or Ask Questions

Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications


Dec 31, 2019
Alberto Camacho, Sheila A. McIlraith


  Access Paper or Ask Questions

Finite LTL Synthesis with Environment Assumptions and Quality Measures


Aug 31, 2018
Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith

* 14 pages. To appear in the Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) without the appendix proofs. The body of this paper is the same as the KR 2018 paper except that a minor typographic error has been corrected, as noted in this paper 

  Access Paper or Ask Questions

Finite LTL Synthesis is EXPTIME-complete


Nov 17, 2016
Jorge A. Baier, Alberto Camacho, Christian Muise, Sheila A. McIlraith

* We withdraw this paper because of an error in the proof 

  Access Paper or Ask Questions