SMT-Based Control and Feedback for Social Navigation. - Thais Campos; Adam Pacheck; Guy Hoffman; Hadas Kress-Gazit (ICRA, 2019)

Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations. - Adam Pacheck; George Konidaris 001; Hadas Kress-Gazit (ISRR, 2019)

Functional Mixed-Effects Modeling of Longitudinal Duchenne Muscular Dystrophy Electrical Impedance Myography Data Using State-Space Approach. - Kush Kapur; Benjamin Sanchez; Adam Pacheck; Basil T. Darras; Seward B. Rutkove; Rajesh Selukar (IEEE Trans. Biomed. Eng., 2019)

Finding Missing Skills for High-Level Behaviors. - Adam Pacheck; Salar Moarref; Hadas Kress-Gazit (ICRA, 2020)

Errors in Collective Robotic Construction. - Jiahe Chen; Yifang Liu; Adam Pacheck; Hadas Kress-Gazit; Nils Napp; Kirstin Petersen (DARS, 2021)

Learning and Planning for Temporally Extended Tasks in Unknown Environments. - Christopher Bradley; Adam Pacheck; Gregory J. Stein; Sebastian Castro; Hadas Kress-Gazit; Nicholas Roy (ICRA, 2021)

Automatic encoding and repair of reactive high-level tasks with learned abstract representations. - Adam Pacheck; Steven James 001; George Dimitri Konidaris; Hadas Kress-Gazit (Int. J. Robotics Res., 2023)

Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks. - Adam Pacheck; Hadas Kress-Gazit (IEEE Trans. Robotics, 2023)