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