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
linsats / ltl_diff Goto Github PK
View Code? Open in Web Editor NEWThis project forked from craigiedon/ltl_diff