Bortolussi, Luca

1. Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
   2019/10/28 by Backenköhler, Michael, Bortolussi, Luca, Wolf, Verena · 3 citations
   #FOS: Biological sciences #FOS: Computer and information sciences #FOS: Electrical engineering #Performance (cs.PF) #Quantitative Methods (q-bio.QM) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. 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)
3. 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
4. A Robust Genetic Algorithm for Learning Temporal Specifications from Data
   2017/11/13 by Laura Nenzi, Simone Silvetti, Nenzi, Laura +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
5. Smoothed Model Checking for Uncertain Continuous Time Markov Chains
   2014/02/06 by Bortolussi, Luca, Milios, Dimitrios, Sanguinetti, Guido · 1 citation
   #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
6. Graph Neural Networks for Propositional Model Counting
   2022/05/09 by Gaia Saveri, Saveri, Gaia, Luca Bortolussi +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)
7. Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints
   2023/08/31 by Scassola, Davide, Saccani, Sebastiano, Carbone, Ginevra +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
8. 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)
9. When Can You Trust Your Explanations? A Robustness Analysis on Feature Importances
   2024/06/20 by Vascotto, Ilaria, Rodriguez, Alex, Bonaita, Alessandro +1 · 2 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG)
10. Intrinsic Dimension Correlation: uncovering nonlinear connections in multimodal representations
    2024/06/22 by Basile, Lorenzo, Acevedo, Santiago, Bortolussi, Luca +2 · 1 citation
    #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG)
11. 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
12. 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)