Grid-Based Temporal Logic Inference: a new framework to learn temporal properties from traces was presented on December 15th 2017 at the 56th IEEE Conference on Decision and Control which was held in Melbourne, Australia by Prashant Vaidyanathan.
Grid TLI is a collaborative effort between CIDAR Lab, the Belta group at Boston University and Weiss group at MIT.
The source code for Grid TLI is available here: https://github.com/CIDARLAB/GridTLI