Camacho, Alberto

7 publications

ICMLW 2021 SparseDice: Imitation Learning for Temporally Sparse Data via Regularization Alberto Camacho, Izzeddin Gur, Marcin Lukasz Moczulski, Ofir Nachum, Aleksandra Faust

IJCAI 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 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

AAAI 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

IJCAI 2016 Planning Under Uncertainty and Temporally Extended Goals Alberto Camacho