Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods.

Karen Leung, Nikos Archiga, Marco Pavone

Browse the full WAFR paper archive.