This module provides a framework for transforming constraints written in temporal logic into differentiable cost functions. Used in the paper Elaborating on Learned Demonstrations with Temporal Logic Specifications
raoshashank/ltl_diff
Mini-repository to transform Temporal Logic Constraints into a differentiable cost function
Python