/ltl_diff

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

Primary LanguagePython