/deepltl

Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)

Primary LanguagePythonMIT LicenseMIT

No issues in this repository yet.