| 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 | 105 | 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 | 47 | 2019 |
| LTLf synthesis on probabilistic systems AM Wells, M Lahijanian, LE Kavraki, MY Vardi arXiv preprint arXiv:2009.10883, 2020 | 33 | 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 | 29 | 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 | 28 | 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 | 17 | 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 | 8 | 2022 |
| 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 | 7 | 2023 |
| 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 | 7 | 2020 |
| 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 | 5 | 2015 |
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 670-697, 2024 | 4 | 2024 |
| 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 |
| 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 |
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version) JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... arXiv preprint arXiv:2403.04651, 2024 | 2 | 2024 |
| Stochastic Games for Interactive Manipulation Domains K Muvvala, AM Wells, M Lahijanian, LE Kavraki, MY Vardi arXiv preprint arXiv:2403.04910, 2024 | 1 | 2024 |
| How we built Cedar: A verification-guided approach C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, J Kastner, ... Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | | 2024 |
| On Strategies in Synthesis Over Finite Traces. S Bansal, Y Li, LM Tabajara, MY Vardi, A Wells CoRR, 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 |
Lydia E. KavrakiRice UniversityBestätigte E-Mail-Adresse bei rice.edu
