Andrew M. Wells

According to our database, Andrew M. Wells authored at least 12 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Stochastic Games for Interactive Manipulation Domains.

Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi

CoRR, 2024

2023

On Strategies in Synthesis Over Finite Traces.

Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells

CoRR, 2023

Model Checking Strategies from Synthesis over Finite Traces.

Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Failure is an option: Task and Motion Planning with Failing Executions.

Tianyang Pan, Andrew M. Wells, Rahul Shome, Lydia E. Kavraki

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Synthesis from Satisficing and Temporal Goals.

Suguman Bansal, Lydia E. Kavraki, Moshe Y. Vardi, Andrew M. Wells

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

A General Task and Motion Planning Framework For Multiple Manipulators.

Tianyang Pan, Andrew M. Wells, Rahul Shome, Lydia E. Kavraki

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Finite-Horizon Synthesis for Probabilistic Manipulation Domains.

Andrew M. Wells, Zachary K. Kingston, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

LTLf Synthesis on Probabilistic Systems.

Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi

Proceedings of the Proceedings 11th International Symposium on Games, 2020

Augmenting Control Policies with Motion Planning for Robust and Safe Multi-robot Navigation.

Tianyang Pan, Christos K. Verginis, Andrew M. Wells, Lydia E. Kavraki, Dimos V. Dimarogonas

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Informing Multi-Modal Planning with Synergistic Discrete Leads.

Zachary K. Kingston, Andrew M. Wells, Mark Moll, Lydia E. Kavraki

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019

Learning Feasibility for Task and Motion Planning in Tabletop Environments.

Andrew M. Wells, Neil T. Dantam, Anshumali Shrivastava, Lydia E. Kavraki

IEEE Robotics Autom. Lett., 2019

Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks.

Keliang He, Andrew M. Wells, Lydia E. Kavraki, Moshe Y. Vardi

Proceedings of the International Conference on Robotics and Automation, 2019