LTL-Diff
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
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