Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods

Karen Leung, Nikos Aréchiga, Marco Pavone

Abstract: This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs. STLCG provides a platform which enables the inc...