Scholar
Laura Nenzi
Google Scholar ID: 3xNQYkkAAAAJ
University of Trieste
Citations & Impact
Citations
618
H-index
14
i10-index
18
Publications
20
Co-authors
0
Contact
Publications
Resume
Background
- Research interests focus on applying formal methods to the design and analysis of complex systems such as Cyber-Physical Systems and Collective Adaptive Systems
- Developed original frameworks to control and optimize system behavior while accounting for spatio-temporal dynamics
- Created a spatio-temporal logic to formally specify system performance requirements and scalable monitoring algorithms to verify them
- Investigates non-deterministic imprecisions in spatio-temporal logics, including sample and parameter uncertainty, and aims to discover more precise and expressive specifications
- Experienced in analyzing stochastic systems and statistical verification; combines formal methods with machine learning for parameter estimation and synthesis
- Developed methodology to automatically learn temporal logic specifications from data, enabling automatic description of desired or undesired system behaviors