Robust Counterexample-guided Optimization for Planning from
Differentiable Temporal Logic

Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic

3 March 2022

Chuchu Fan

ArXiv (abs)PDF HTML Github (29★)

Papers citing "Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic"

7 / 7 papers shown

Title
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Yue Meng Chuchu Fan 103 0 0 01 May 2025
Diverse Controllable Diffusion Policy with Signal Temporal Logic Yue Meng Chuchu fan 170 2 0 04 Mar 2025
Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning Zijian Guo Weichao Zhou Wenchao Li OffRL 148 2 0 28 Jan 2025
RADIUM: Predicting and Repairing End-to-End Robot Failures using Gradient-Accelerated Sampling Charles Dawson Anjali Parashar Chuchu Fan 75 0 0 04 Apr 2024
A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling Charles Dawson Chuchu Fan 45 0 0 14 Sep 2023
Signal Temporal Logic Neural Predictive Control Yue Meng Chuchu Fan 49 16 0 10 Sep 2023
Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications Zikang Xiong Daniel Lawson Joe Eappen A. H. Qureshi Suresh Jagannathan 52 0 0 02 Mar 2023