| Learning feasibility for task and motion planning in tabletop environments AM Wells, NT Dantam, A Shrivastava, LE Kavraki IEEE robotics and automation letters 4 (2), 1255-1262, 2019 | 91 | 2019 |
| Efficient symbolic reactive synthesis for finite-horizon tasks K He, AM Wells, LE Kavraki, MY Vardi 2019 International Conference on Robotics and Automation (ICRA), 8993-8999, 2019 | 43 | 2019 |
| LTLf synthesis on probabilistic systems AM Wells, M Lahijanian, LE Kavraki, MY Vardi arXiv preprint arXiv:2009.10883, 2020 | 30 | 2020 |
| Informing multi-modal planning with synergistic discrete leads Z Kingston, AM Wells, M Moll, LE Kavraki 2020 IEEE International Conference on Robotics and Automation (ICRA), 3199-3205, 2020 | 26 | 2020 |
| A general task and motion planning framework for multiple manipulators T Pan, AM Wells, R Shome, LE Kavraki 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021 | 21 | 2021 |
| Finite-horizon synthesis for probabilistic manipulation domains M Wells, Z Kingston, M Lahijanian, LE Kavraki, MY Vardi 2021 IEEE International Conference on Robotics and Automation (ICRA), 6336-6342, 2021 | 12 | 2021 |
| Bronchiectasis in New Zealand: a dying disease or neglected epidemic MKJ O’Neill, A Wells Am J Respir Crit Care Med 151, A201, 1995 | 9 | 1995 |
| Failure is an option: Task and Motion Planning with Failing Executions T Pan, AM Wells, R Shome, LE Kavraki 2022 International Conference on Robotics and Automation (ICRA), 1947-1953, 2022 | 5 | 2022 |
| Adaptive sampling-based motion planning for mobile robots with differential constraints A Wells, E Plaku Towards Autonomous Robotic Systems: 16th Annual Conference, TAROS 2015 …, 2015 | 4 | 2015 |
| Synthesis from satisficing and temporal goals S Bansal, L Kavraki, MY Vardi, A Wells Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9679-9686, 2022 | 3 | 2022 |
| Augmenting control policies with motion planning for robust and safe multi-robot navigation T Pan, CK Verginis, AM Wells, LE Kavraki, DV Dimarogonas 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2020 | 3 | 2020 |
| Towards a novel and optimal packet identifier design for SDN M O'Neill, A Wells, X Sun Proceedings of the third workshop on Hot topics in software defined …, 2014 | 3 | 2014 |
| Model Checking Strategies from Synthesis over Finite Traces S Bansal, Y Li, LM Tabajara, MY Vardi, A Wells International Symposium on Automated Technology for Verification and …, 2023 | 2 | 2023 |
| Stochastic Games for Interactive Manipulation Domains K Muvvala, AM Wells, M Lahijanian, LE Kavraki, MY Vardi arXiv preprint arXiv:2403.04910, 2024 | | 2024 |
| On Strategies in Synthesis Over Finite Traces S Bansal, Y Li, LM Tabajara, MY Vardi, A Wells arXiv preprint arXiv:2305.08319, 2023 | | 2023 |
| Synthesis for Stochastic Robotic Systems AM Wells Rice University, 2021 | | 2021 |
| Learned Heuristics for Task and Motion Planning with a Fixed Tabletop Manipulator AM Wells Rice University, 2019 | | 2019 |
| Model Checking Strategies from Synthesis Over Finite Traces A Wells | | |
Lydia E. KavrakiRice UniversityVerified email at rice.edu
