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
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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