TLINet: Differentiable Neural Network Temporal Logic Inference

Danyang Li, Mingyu Cai, Cristian-Ioan Vasile +1

There has been a growing interest in extracting formal descriptions of the system behaviors from data. Signal Temporal Logic (STL) is an expressive formal language used to describe…