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 107 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 75 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 61 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 56 258 0 23 Feb 2018

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.