From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends. - Alberto Camacho; Christian J. Muise; Sheila A. McIlraith (ICAPS, 2016)

Planning under Uncertainty and Temporally Extended Goals. - Alberto Camacho (IJCAI, 2016)

Strong-Cyclic Planning when Fairness is Not a Valid Assumption. - Alberto Camacho; Sheila A. McIlraith (KnowProS@IJCAI, 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 (KnowProS@IJCAI, 2016)

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 (AAAI, 2017)

Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. - Alberto Camacho; Oscar Chen; Scott Sanner; Sheila A. McIlraith (SOCS, 2017)

Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. - Alberto Camacho; Jorge A. Baier; Christian J. Muise; Sheila A. McIlraith (Canadian AI, 2018)

Finite LTL Synthesis as Planning. - Alberto Camacho; Jorge A. Baier; Christian J. Muise; Sheila A. McIlraith (ICAPS, 2018)

LTL Realizability via Safety and Reachability Games. - Alberto Camacho; Christian J. Muise; Jorge A. Baier; Sheila A. McIlraith (IJCAI, 2018)

SynKit: LTL Synthesis as a Service. - Alberto Camacho; Christian J. Muise; Jorge A. Baier; Sheila A. McIlraith (IJCAI, 2018)

Finite LTL Synthesis with Environment Assumptions and Quality Measures. - Alberto Camacho; Meghyn Bienvenu; Sheila A. McIlraith (KR, 2018)

Towards a Unified View of AI Planning and Reactive Synthesis. - Alberto Camacho; Meghyn Bienvenu; Sheila A. McIlraith (ICAPS, 2019)

Learning Interpretable Models Expressed in Linear Temporal Logic. - Alberto Camacho; Sheila A. McIlraith (ICAPS, 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 (IJCAI, 2019)

Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals. - Alberto Camacho; Sheila A. McIlraith (IJCAI, 2019)

Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications. - Alberto Camacho; Sheila A. McIlraith (CoRR, 2019)

Disentangled Planning and Control in Vision Based Robotics via Reward Machines. - Alberto Camacho; Jacob Varley; Deepali Jain; Atil Iscen; Dmitry Kalashnikov (CoRR, 2020)

Reward Machines for Vision-Based Robotic Manipulation. - Alberto Camacho; Jacob Varley; Andy Zeng 001; Deepali Jain; Atil Iscen; Dmitry Kalashnikov (ICRA, 2021)

Automata-Theoretic Synthesis of Plans and Reactive Strategies - Alberto Camacho (2022)