Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu: Graph Temporal Logic Inference for Classification and Identification. CDC 2019: 4761-4768