Alberto Camacho

20 papers A* 12B 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2022 — —
Automata-Theoretic Synthesis of Plans and Reactive Strategies
Alberto Camacho
2021 A* conf
Reward Machines for Vision-Based Robotic Manipulation.
ICRA
Alberto Camacho, Jacob Varley, Andy Zeng, Deepali Jain, Atil Iscen, Dmitry Kalashnikov
2020 J jnl
Disentangled Planning and Control in Vision Based Robotics via Reward Machines.
CoRR
Alberto Camacho, Jacob Varley, Deepali Jain, Atil Iscen, Dmitry Kalashnikov
2019 A* conf
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning.
IJCAI
Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith
2019 A* conf
Learning Interpretable Models Expressed in Linear Temporal Logic.
ICAPS
Alberto Camacho, Sheila A. McIlraith
2019 A* conf
Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals.
IJCAI
Alberto Camacho, Sheila A. McIlraith
2019 J jnl
Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications.
CoRR
Alberto Camacho, Sheila A. McIlraith
2019 A* conf
Towards a Unified View of AI Planning and Reactive Synthesis.
ICAPS
Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
2018 A* conf
Finite LTL Synthesis as Planning.
ICAPS
Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith
2018 A* conf
Finite LTL Synthesis with Environment Assumptions and Quality Measures.
KR
Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
2018 J jnl
Finite LTL Synthesis with Environment Assumptions and Quality Measures.
CoRR
Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
2018 A* conf
LTL Realizability via Safety and Reachability Games.
IJCAI
Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
2018 A* conf
SynKit: LTL Synthesis as a Service.
IJCAI
Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
2018 — conf
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.
Canadian AI
Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith
2017 A* conf
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.
AAAI
Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
2017 B conf
Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping.
SOCS
Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith
2016 A* conf
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends.
ICAPS
Alberto Camacho, Christian J. Muise, Sheila A. McIlraith
2016 — conf
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).
KnowProS@IJCAI
Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
2016 A* conf
Planning under Uncertainty and Temporally Extended Goals.
IJCAI
Alberto Camacho
2016 — conf
Strong-Cyclic Planning when Fairness is Not a Valid Assumption.
KnowProS@IJCAI
Alberto Camacho, Sheila A. McIlraith