| 2021 | ICRA | Reward Machines for Vision-Based Robotic Manipulation. | Alberto Camacho, Jacob Varley, Andy Zeng, Deepali Jain, Atil Iscen, Dmitry Kalashnikov |
| 2019 | IJCAI | 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 |
| 2019 | IJCAI | Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals. | Alberto Camacho, Sheila A. McIlraith |
| 2018 | AI | Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. | Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith |
| 2018 | IJCAI | LTL Realizability via Safety and Reachability Games. | Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
| 2018 | IJCAI | SynKit: LTL Synthesis as a Service. | Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
| 2018 | KR | Finite LTL Synthesis with Environment Assumptions and Quality Measures. | Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith |
| 2017 | AAAI | 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 |
| 2017 | SoCS | Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. | Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith |
| 2016 | IJCAI | Planning under Uncertainty and Temporally Extended Goals. | Alberto Camacho |
| 2016 | IJCAI | Strong-Cyclic Planning when Fairness is Not a Valid Assumption. | Alberto Camacho, Sheila A. McIlraith |
| 2016 | IJCAI | 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 |