no code implementations • 13 Nov 2017 • Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
We consider the problem of mining signal temporal logical requirements from a dataset of regular (good) and anomalous (bad) trajectories of a dynamical system.