Mohammadinejad, S., Deshmukh, J. V., & Nenzi, L. (2021). Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. In Automated Technology for Verification and Analysis (pp. 91–107). 12971. https://doi.org/10.1007/978-3-030-88885-5_7