Collective Behaviour - Winter Seminar Series 2021/22

A logic-based approach to Specify, Monitor and Learn (Spatio-)Temporal Behaviours

Laura Nenzi

Abstract: From the reliability in a wireless sensor network to the formation of traffic jams, spatio[1]temporal patterns are key in understanding how complex behaviors can emerge in a network of locally interacting dynamical systems. One of the most important and intriguing questions is how to specify such behaviors in a formal and human-understandable specification language. A possible approach consists in using formal methods and in particular logic languages. In this talk, first, we present the spatio-temporal logic STREL and its expressivity to specify and monitor spatio-temporal behaviors over complex dynamical and spatially distributed systems. Then, we show how the logic can be used to automatic feature extraction from spatio-temporal data. We demonstrate the effectiveness of our approaches on case studies from diverse domains such as urban transportation, epidemiology, green infrastructure, and air quality monitoring.

Laura Nenzi is an expert in formal verification and statistical model checking for stochastic systems. In the last years, she started to discover a new interdisciplinary area that combines formal verification with Bayesian and machine learning techniques. Since November 2021, she is an Assistant Professor (tenure-track) at the Department of Engineering and Architecture at the University of Trieste. She holds a PhD degree in Computer Science from the IMT Lucca, Italy (2017) and a master’s degree in Mathematics from the University of Trieste, Italy (2012), both completed with highest marks. She was a co-PI of the project ZK-35: "High-dimensional statistical learning: new methods to advance economic and sustainability policies" (Total Funding ∼2 Mio Euro), within the Austrian Science Fund's (FWF) "Young Independent Researcher Groups" programme, for which she led the TU participation. She received the Hedy Lamarr Award 2020 by the City of Vienna; The award recognizes women in Austria for their exceptional achievements in the field of information technology. The Hedy Lamarr Prize is endowed with 10,000 euros and is sponsored by Urban Innovation Vienna.