Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks. - Keliang He; Andrew M. Wells; Lydia E. Kavraki; Moshe Y. Vardi (ICRA, 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)

Informing Multi-Modal Planning with Synergistic Discrete Leads. - Zachary Kingston; Andrew M. Wells; Mark Moll; Lydia E. Kavraki (ICRA, 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 (IROS, 2020)

LTLf Synthesis on Probabilistic Systems. - Andrew M. Wells; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (GandALF, 2020)

Finite-Horizon Synthesis for Probabilistic Manipulation Domains. - Andrew M. Wells; Zachary Kingston; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (ICRA, 2021)

A General Task and Motion Planning Framework For Multiple Manipulators. - Tianyang Pan; Andrew M. Wells; Rahul Shome; Lydia E. Kavraki (IROS, 2021)

Synthesis from Satisficing and Temporal Goals. - Suguman Bansal; Lydia E. Kavraki; Moshe Y. Vardi; Andrew M. Wells (AAAI, 2022)

Failure is an option: Task and Motion Planning with Failing Executions. - Tianyang Pan; Andrew M. Wells; Rahul Shome; Lydia E. Kavraki (ICRA, 2022)

Model Checking Strategies from Synthesis over Finite Traces. - Suguman Bansal; Yong Li 031; Lucas M. Tabajara; Moshe Y. Vardi; Andrew M. Wells (ATVA (1), 2023)

On Strategies in Synthesis Over Finite Traces. - Suguman Bansal; Yong Li 031; Lucas Martinelli Tabajara; Moshe Y. Vardi; Andrew M. Wells (CoRR, 2023)

Stochastic Games for Interactive Manipulation Domains. - Karan Muvvala; Andrew M. Wells; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (ICRA, 2024)