TY  - RPRT
TI  - Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems
AU  - Sara Mohammadinejad
AU  - Jyotirmy V. Deshmukh
AU  - Laura Nenzi
PY  - 2021
UR  - https://arxiv.org/abs/2106.08548
ID  - 2106.08548
ER  -