Laura Nenzi

Available identifiers

zbMath Open nenzi.lauraMaRDI QIDQ1784958

List of research outcomes

Publication	Date of Publication	Type
Analysis of spatio-temporal properties of stochastic systems using TSTL	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	2023-07-28	Paper
Mining interpretable spatio-temporal logic properties for spatially distributed systems	2022-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q5028457	2022-02-09	Paper
A logic-based learning approach to explore diabetes patient behaviors	2019-10-10	Paper
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems	2019-09-17	Paper
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic	2019-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4553288	2018-11-02	Paper
Model checking Markov population models by stochastic approximations	2018-09-27	Paper
System design of stochastic models using robustness of temporal properties	2015-06-10	Paper

Research outcomes over time

This page was built for person: Laura Nenzi