Sfoglia per Autore
Monitoring Spatio-Temporal Properties (Invited Tutorial)
2020-01-01 Nenzi, L.; Bartocci, E.; Bortolussi, L.; Loreti, M.; Visconti, E.
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems
2021-01-01 Mohammadinejad, S.; Deshmukh, J. V.; Nenzi, L.
Mining Road Traffic Rules with Signal Temporal Logic and Grammar-Based Genetic Programming
2021-01-01 Pigozzi, Federico; Medvet, Eric; Nenzi, Laura
Online monitoring of spatiooral properties for imprecise signals
2021-01-01 Visconti, E.; Bartocci, E.; Loreti, M.; Nenzi, L.
One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems
2022-01-01 Indri, Patrick; Bartoli, Alberto; Medvet, Eric; Nenzi, Laura
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
2022-01-01 Nenzi, L.; Bartocci, E.; Bortolussi, L.; Loreti, M.
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
2022-01-01 Isac, Omri; Ivanov, Radoslav; Katz, Guy; Narodytska, Nina; Nenzi, Laura
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
2022-01-01 Bortolussi, Luca; Maria Gallo, Giuseppe; Kretinski, Jan; Nenzi, Laura
WebMonitor: Verification of Web User Interfaces
2022-01-01 Visconti, Ennio; Tsigkanos, Christos; Nenzi, Laura
MoonLight: a lightweight tool for monitoring spatio-temporal properties
2023-01-01 Nenzi, L; Bartocci, E; Bortolussi, L; Silvetti, S; Loreti, M
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk)
2023-01-01 Nenzi, Laura
BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data
2024-01-01 Pigozzi, Federico; Nenzi, Laura; Medvet, Eric
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile