Journal Article
Back-propagation through {STL} Specifications: Infusing Logical Structure into Gradient-Based Methods
Journal Name
Workshop on the Algorithmic Foundations of Robotics
Publication Date
2020