An Efficient Formula Synthesis Method with Past Signal Temporal Logic

Mert Ergurtuna, Ebru Aydin Gol

In this work, we propose a novel method to find temporal properties that lead to the unexpected behaviors from labeled dataset. We express these properties in past time Signal Temp…