Cairoli, Francesca

1. Neural Predictive Monitoring under Partial Observability
   2021/08/16 by Francesca Cairoli, Luca Bortolussi, Cairoli, Francesca +3 · 3 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG)
2. Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
   2022/11/04 by Cairoli, Francesca, Paoletti, Nicola, Bortolussi, Luca · 3 citations
   #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
   2022/05/11 by Luca Bortolussi, Bortolussi, Luca, Francesca Cairoli +5 · 1 citation
   Computer Science · Engineering · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Fault Detection and Control Systems #Gaussian Processes and Bayesian Inference #Machine Learning (cs.LG) #Machine Learning (stat.ML)
4. CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-Series
   2025/07/23 by Pearson, Nicholas A., Zanello, Francesca, Russo, Davide +2 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)