Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic

3 March 2022

Chuchu Fan

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

5 / 5 papers shown

Title
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Yue Meng Chuchu Fan 38 0 0 01 May 2025
Diverse Controllable Diffusion Policy with Signal Temporal Logic Yue Meng Chuchu fan 51 2 0 04 Mar 2025
Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning Zijian Guo Weichao Zhou Wenchao Li OffRL 105 2 0 28 Jan 2025
Signal Temporal Logic Neural Predictive Control Yue Meng Chuchu Fan 18 15 0 10 Sep 2023
Bundled Gradients through Contact via Randomized Smoothing H.J. Terry Suh Tao Pang Russ Tedrake 86 53 0 11 Sep 2021