Differentiable Inference of Temporal Logic Formulas

Nicole Fronda, Houssam Abbas

We demonstrate the first Recurrent Neural Network architecture for learning Signal Temporal Logic formulas, and present the first systematic comparison of formula inference methods…