Volgen
Alberto Camacho
Alberto Camacho
X, The Moonshot Factory
Geverifieerd e-mailadres voor google.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning
A Camacho, R Toro Icarte, TQ Klassen, R Valenzano, SA McIlraith
International Joint Conference on Artificial Intelligence (IJCAI), 2019
2182019
Learning Interpretable Models in Linear Temporal Logic
A Camacho, SA McIlraith
International Conference on Automated Planning and Scheduling (ICAPS), 2019
109*2019
Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces
A Camacho, E Triantafillou, C Muise, JA Baier, SA McIlraith
Thirty-First AAAI Conference on Artificial Intelligence, 2017
1082017
Finite LTL synthesis as planning
A Camacho, JA Baier, C Muise, SA McIlraith
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
882018
Non-Markovian Rewards Expressed in LTL: Guiding Search via Reward Shaping.
A Camacho, O Chen, S Sanner, SA McIlraith
The 10th Annual Symposium on Combinatorial Search (SoCS), 159-160, 2017
552017
From FOND to robust probabilistic planning: Computing compact policies that bypass avoidable deadends
A Camacho, C Muise, S McIlraith
Proceedings of the International Conference on Automated Planning and …, 2016
442016
Towards a Unified View of AI Planning and Reactive Synthesis
A Camacho, M Bienvenu, SA McIlraith
International Conference on Automated Planning and Scheduling (ICAPS), 2019
362019
Finite LTL Synthesis with Environment Assumptions and Quality Measures
A Camacho, M Bienvenu, SA McIlraith
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
362018
Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals
A Camacho, SA McIlraith
International Joint Conference on Artificial Intelligence (IJCAI), 2019
282019
Decision-Making with Non-Markovian Rewards: From LTL to automata-based reward shaping
A Camacho, O Chen, S Sanner, SA McIlraith
RLDM, 2017
252017
LTL Realizability via Safety and Reachability Games.
A Camacho, CJ Muise, JA Baier, SA McIlraith
IJCAI, 4683-4691, 2018
232018
Non-Markovian rewards expressed in LTL: Guiding search via reward shaping (extended version)
A Camacho, O Chen, S Sanner, SA McIlraith
GoalsRL, a workshop collocated with ICML/IJCAI/AAMAS, 2018
222018
Reward Machines for Vision Based Robotic Manipulation
A Camacho, J Varley, A Zeng, D Jain, A Iscen, D Kalashnikov
ICRA, 2021
192021
Strong-Cyclic Planning when Fairness is Not a Valid Assumption
A Camacho, SA McIlraith
Proceedings of the Workshop on Knowledge-based Techniques for Problem …, 2016
122016
Synthesizing controllers: On the Correspondence Between LTL Synthesis and Non-Deterministic Planning
A Camacho, JA Baier, C Muise, SA McIlraith
Canadian Conference on Artificial Intelligence, 2018
112018
Disentangled Planning and Control in Vision Based Robotics via Reward Machines
A Camacho, J Varley, D Jain, A Iscen, D Kalashnikov
arXiv preprint arXiv:2012.14464, 2020
102020
Bridging the Gap Between LTL Synthesis and Automated Planning
A Camacho, JA Baier, C Muise, SA McIlraith
Workshop on Generalized Planning @ ICAPS, 2017
102017
Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications
A Camacho, SA McIlraith
Workshop on Knowledge Representation Meets Machine Learning (KR2ML) at NeurIPS, 2019
82019
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).
A Camacho, E Triantafillou, CJ Muise, JA Baier, SA McIlraith
KnowProS@ IJCAI, 2016
82016
Non-deterministic planning with temporally extended goals: Completing the story for finite and infinite LTL (amended version)
A Camacho, E Triantafillou, CJ Muise, JA Baier, SA McIlraith
KnowProS@ IJCAI, 2016
82016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20