| 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 | 184 | 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 | 91 | 2017 |
| Learning Interpretable Models in Linear Temporal Logic A Camacho, SA McIlraith International Conference on Automated Planning and Scheduling (ICAPS), 2019 | 87* | 2019 |
| Finite LTL synthesis as planning A Camacho, JA Baier, C Muise, SA McIlraith Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018 | 75 | 2018 |
| 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 | 53 | 2017 |
| 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 | 41 | 2016 |
| Finite LTL Synthesis with Environment Assumptions and Quality Measures A Camacho, M Bienvenu, SA McIlraith Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 32 | 2018 |
| 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 | 31 | 2019 |
| LTL Realizability via Safety and Reachability Games. A Camacho, CJ Muise, JA Baier, SA McIlraith IJCAI, 4683-4691, 2018 | 23 | 2018 |
| Decision-Making with Non-Markovian Rewards: From LTL to automata-based reward shaping A Camacho, O Chen, S Sanner, SA McIlraith RLDM, 2017 | 23 | 2017 |
| Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals A Camacho, SA McIlraith International Joint Conference on Artificial Intelligence (IJCAI), 2019 | 21 | 2019 |
| 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 | 19 | 2018 |
| Reward Machines for Vision Based Robotic Manipulation A Camacho, J Varley, A Zeng, D Jain, A Iscen, D Kalashnikov ICRA, 2021 | 15 | 2021 |
| 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 | 11 | 2018 |
| 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 | 11 | 2016 |
| Bridging the Gap Between LTL Synthesis and Automated Planning A Camacho, JA Baier, C Muise, SA McIlraith Workshop on Generalized Planning @ ICAPS, 2017 | 9 | 2017 |
| 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 | 8 | 2020 |
| 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 | 7 | 2019 |
| SynKit: LTL Synthesis as a Service. A Camacho, CJ Muise, JA Baier, SA McIlraith IJCAI, 5817-5819, 2018 | 7 | 2018 |
| 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 | 7 | 2016 |
Sheila McIlraithProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
