Laura Nenzi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Monitoring spatially distributed cyber-physical systems with alternating finite automata	2025-11-07	Paper
Analysis of spatio-temporal properties of stochastic systems using TSTL ACM Transactions on Modeling and Computer Simulation	2024-09-08	Paper
Learning model checking and the kernel trick for signal temporal logic on stochastic processes	2024-01-23	Paper
Signal convolution logic Automated Technology for Verification and Analysis	2023-07-28	Paper
Mining interpretable spatio-temporal logic properties for spatially distributed systems (available as arXiv preprint)	2022-06-22	Paper
A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems (available as arXiv preprint)	2022-02-09	Paper
A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems	2022-02-09	Paper
A logic-based learning approach to explore diabetes patient behaviors (available as arXiv preprint)	2019-10-10	Paper
Three-valued spatio-temporal logic: a further analysis on spatio-temporal properties of stochastic systems Quantitative Evaluation of Systems	2019-09-17	Paper
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic Hybrid Systems Biology	2019-05-21	Paper
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL (available as arXiv preprint)	2018-11-02	Paper
Model checking Markov population models by stochastic approximations Information and Computation	2018-09-27	Paper
System design of stochastic models using robustness of temporal properties Theoretical Computer Science	2015-06-10	Paper

Research outcomes over time

This page was built for person: Laura Nenzi