Signal Temporal Logic Neural Predictive Control

摘要

[RA-L/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.