/ltl_diff

Mini-repository to transform Temporal Logic Constraints into a differentiable cost function

Primary LanguagePython

No issues in this repository yet.