Luca Bortolussi

1. Neural Predictive Monitoring under Partial Observability
   2021/08/16 by Francesca Cairoli, Cairoli, Francesca, Luca Bortolussi +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. A Robust Genetic Algorithm for Learning Temporal Specifications from Data
   2017/11/13 by Laura Nenzi, Nenzi, Laura, Simone Silvetti +5 · 2 citations
   Computer Science · Engineering · #Anomaly Detection Techniques and Applications #Artificial Immune Systems Applications #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Time Series Analysis and Forecasting
3. Graph Neural Networks for Propositional Model Counting
   2022/05/09 by Gaia Saveri, Luca Bortolussi, Saveri, Gaia +1 · 1 citation
   Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
4. Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
   2022/05/11 by Luca Bortolussi, Francesca Cairoli, Bortolussi, Luca +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)
5. Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
   2022/01/24 by Luca Bortolussi, G. Gallo, Bortolussi, Luca +5 · 1 citation
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms
6. Localized Anomaly Detection via Differentiable D-vine Copulas
   2026/07/27 by Nicholas Andrea Pearson, Francesca Zanello, Davide Russo +2
   #cs.AI