STLCG++ — Differentiable Signal Temporal Logic for Robot Learning

A PyTorch/JAX library integrating differentiable temporal logic into robot learning pipelines, delivering 100× speed-ups and outperforming baselines for trajectory optimization and diffusion-policy case studies.