Sangiovanni-Vincentelli, Alberto
- Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization without Accessing Target Domain Data
2019/09/02 by Yue, Xiangyu, Zhang, Yang, Zhao, Sicheng +3 · 13 citations
#Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data
2021/09/14 by H. Das, Das, Hari Prasanna, Ryan Tran +11 · 5 citations
Computer Science · Medicine · #Anomaly Detection Techniques and Applications #COVID-19 diagnosis using AI #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Healthcare
- Counterexample-Guided Data Augmentation
2018/05/17 by Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu +3 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection
2019/02/18 by Baihong Jin, Yuxin Chen, Jin, Baihong +7 · 3 citations
Chemistry · Computer Science · Engineering · #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural and Evolutionary Computing (cs.NE) #Spectroscopy and Chemometric Analyses #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Formalization of Robustness for Deep Neural Networks
2019/03/24 by Dreossi, Tommaso, Ghosh, Shromona, Sangiovanni-Vincentelli, Alberto +1 · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG)
- Augmenting Monte Carlo Dropout Classification Models with Unsupervised Learning Tasks for Detecting and Diagnosing Out-of-Distribution Faults
2019/09/10 by Baihong Jin, Jin, Baihong, Yingshui Tan +5 · 1 citation
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Signal Processing (eess.SP) #electronic engineering #information engineering
- ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
2024/05/03 by Elmaaroufi, Karim, Shanker, Devan, Cismaru, Ana +4 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Beating Backdoor Attack at Its Own Game
2023/07/28 by Liu, Min, Sangiovanni-Vincentelli, Alberto, Yue, Xiangyu · 1 citation
#Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Systematic Testing of Convolutional Neural Networks for Autonomous\n Driving
2017/08/10 by Tommaso Dreossi, Dreossi, Tommaso, Shromona Ghosh +5 · 1 citation
Computer Science · Engineering · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- Contract-Based Specification Refinement and Repair for Mission Planning
2022/11/21 by Mallozzi, Piergiuseppe, Incer, Inigo, Nuzzo, Pierluigi +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Robotics (cs.RO) #Software Engineering (cs.SE)
- Some Algebraic Aspects of Assume-Guarantee Reasoning
2023/09/16 by Incer, Inigo, Benveniste, Albert, Sangiovanni-Vincentelli, Alberto · 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