| Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces A Camacho, E Triantafillou, C Muise, J Baier, S McIlraith Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 47 | 2017 |
| 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 | 31 | 2019 |
| Finite LTL synthesis as planning A Camacho, J Baier, C Muise, S McIlraith Proceedings of the International Conference on Automated Planning and …, 2018 | 31 | 2018 |
| Learning Interpretable Models in Linear Temporal Logic A Camacho, SA McIlraith International Conference on Automated Planning and Scheduling (ICAPS), 2019 | 27* | 2019 |
| 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 | 26 | 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 | 22 | 2016 |
| Decision-Making with Non-Markovian Rewards: From LTL to automata-based reward shaping A Camacho, O Chen, S Sanner, SA McIlraith RLDM, 2017 | 16 | 2017 |
| LTL Realizability via Safety and Reachability Games. A Camacho, CJ Muise, JA Baier, SA McIlraith IJCAI, 4683-4691, 2018 | 13 | 2018 |
| Finite LTL Synthesis with Environment Assumptions and Quality Measures A Camacho, M Bienvenu, SA McIlraith Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 8 | 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 | 8 | 2018 |
| Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals A Camacho, SA McIlraith International Joint Conference on Artificial Intelligence (IJCAI), 2019 | 6 | 2019 |
| 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 | 6 | 2019 |
| SynKit: LTL Synthesis as a Service. A Camacho, CJ Muise, JA Baier, SA McIlraith IJCAI, 5817-5819, 2018 | 5 | 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 | 5 | 2016 |
| Nondeterministic planning with temporally extended goals: Completing the story for finite and infinite LTL A Camacho, E Triantafillou, CJ Muise, JA Baier, SA McIlraith Proceedings of the workshop on knowledge-based techniques for problem …, 2016 | 5* | 2016 |
| From FOND to Probabilistic Planning: Guiding search for quality policies A Camacho, C Muise, A Ganeshen, SA McIlraith Workshop on Heuristic Search and Domain Independent Planning, ICAPS, 2015 | 5 | 2015 |
| Bridging the Gap Between LTL Synthesis and Automated Planning A Camacho, JA Baier, C Muise, SA McIlraith Workshop on Generalized Planning @ ICAPS, 2017 | 4 | 2017 |
| 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 | 4 | 2016 |
| Decision-Making with Non-Markovian Rewards: Guiding search via automata-based reward shaping A Camacho, O Chen, S Sanner, SA McIlraith | 2 | 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 | | 2020 |
Sheila McIlraithProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
