Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions

Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions

13 May 2021

Wil Thomason

Papers citing "Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions"

7 / 7 papers shown

Title
Learning Model Preconditions for Planning with Multiple Models A. LaGrassa Oliver Kroemer 38 8 0 11 Jun 2022
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems Glen Chou N. Ozay Dmitry Berenson 82 25 0 18 Apr 2021
Learning compositional models of robot skills for task and motion planning Zi Wang Caelan Reed Garrett L. Kaelbling Tomás Lozano-Pérez 55 108 0 08 Jun 2020
Planning and Execution using Inaccurate Models with Provable Guarantees Anirudh Vemula Yash Oza J. Andrew Bagnell Maxim Likhachev 43 18 0 09 Mar 2020
Learning sparse relational transition models Victoria Xia Zi Wang L. Kaelbling 78 23 0 26 Oct 2018
Active model learning and diverse action sampling for task and motion planning Zi Wang Caelan Reed Garrett L. Kaelbling Tomás Lozano-Pérez 64 81 0 02 Mar 2018
PDDLStream: Integrating Symbolic Planners and Blackbox Samplers via Optimistic Adaptive Planning Caelan Reed Garrett Tomás Lozano-Pérez L. Kaelbling 59 258 0 23 Feb 2018