Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic.

Charles Dawson, Chuchu Fan

Browse the full IROS paper archive.