Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems.

Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi

Browse the full ATVA paper archive.