Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions

Set operations and order reductions for constrained zonotopes

(2022) Vignesh Raghuraman et al.   AUTOMATICA

Learning compositional models of robot skills for task and motion planning

(2021) Zi Wang et al.   INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

Array programming with NumPy

(2020) Charles R. Harris et al.   NATURE

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis

(2020) Niklas Kochdumper et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning

(2018) George Konidaris et al.   JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH

Sampling-based methods for factored task and motion planning

(2018) Caelan Reed Garrett et al.   INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

Constrained zonotopes: A new tool for set-based estimation and fault detection

(2016) Joseph K. Scott et al.   AUTOMATICA

Efficiently combining task and motion planning using geometric constraints

(2014) Fabien Lagriffoul et al.   INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

Adaptive-resolution reinforcement learning with polynomial exploration in deterministic domains

(2010) Andrey Bernstein et al.   MACHINE LEARNING

A Hybrid Approach to Intricate Motion, Manipulation and Task Planning

(2009) Stéphane Cambon et al.   INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

Improving ultimate convergence of an augmented Lagrangian method

(2008) E.G. Birgin et al.   OPTIMIZATION METHODS & SOFTWARE