Follow
Andrew Wells
Title
Cited by
Cited by
Year
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
972019
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
462019
LTLf synthesis on probabilistic systems
AM Wells, M Lahijanian, LE Kavraki, MY Vardi
arXiv preprint arXiv:2009.10883, 2020
312020
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
282020
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
232021
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
152021
Bronchiectasis in New Zealand: a dying disease or neglected epidemic
MKJ O’Neill, A Wells
Am J Respir Crit Care Med 151, A201, 1995
91995
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
72022
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
52020
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
52015
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
32022
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
32014
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
22023
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
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
Model Checking Strategies from Synthesis Over Finite Traces
A Wells
The system can't perform the operation now. Try again later.
Articles 1–18