Marta Kwiatkowska
- Safety Verification of Deep Neural Networks
2016/10/21 by Xiaowei Huang, Marta Kwiatkowska, Huang, Xiaowei +5 · 14 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Invariant Causal Prediction for Block MDPs
2020/03/12 by Amy Zhang, Zhang, Amy, Clare Lyle +13 · 11 citations
Computer Science · Decision Sciences · #Advanced Bandit Algorithms Research #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Reinforcement Learning in Robotics
- Concolic Testing for Deep Neural Networks
2018/04/30 by Youcheng Sun, Min Wu, Sun, Youcheng +9 · 8 citations
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Uncertainty Quantification with Statistical Guarantees in End-to-End\n Autonomous Driving Control
2019/09/21 by Rhiannon Michelmore, Matthew Wicker, Michelmore, Rhiannon +9 · 3 citations
Engineering · Computer Science · #Autonomous Vehicle Technology and Safety #Adversarial Robustness in Machine Learning #Bayesian Modeling and Causal Inference
- Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
2019/01/06 by Nathalie Cauchi, Luca Laurenti, Cauchi, Nathalie +9 · 4 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction
2024/04/23 by Shili Sheng, Pian Yu, Sheng, Shili +7 · 4 citations
Computer Science · #FOS: Computer and information sciences #Network Security and Intrusion Detection #Robotics (cs.RO)
- Provable Preimage Under-Approximation for Neural Networks (Full Version)
2023/05/05 by Xiyue Zhang, Zhang, Xiyue, Benjie Wang +3 · 3 citations
Computer Science · Materials Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning in Materials Science #Software Engineering (cs.SE)
- Individual Fairness Guarantees for Neural Networks
2022/05/11 by Elias Benussi, Andrea Patanè, Benussi, Elias +7 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG)
- On the Hardness of Robust Classification
2019/09/12 by Pascale Gourdeau, Varun Kanade, Gourdeau, Pascale +5 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms #Domain Adaptation and Few-Shot Learning
- Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications
2023/10/02 by Pian Yu, Shuyang Dong, Yu, Pian +7 · 2 citations
Computer Science · #Bayesian Modeling and Causal Inference #Reinforcement Learning in Robotics
- Probabilistic Mobile Ambients
2009/01/10 by Marta Kwiatkowska, Gethin Norman, David Parker +1 · 1 citation
Computer Science · Social Sciences · #Distributed systems and fault tolerance #Formal Methods in Verification #Access Control and Trust
- Robustness Guarantees for Deep Neural Networks on Videos
2019/06/28 by Min Wu, Marta Kwiatkowska, Wu, Min +1 · 1 citation
Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Machine Learning (cs.LG) #electronic engineering #information engineering
- Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?
2025/05/15 by Pedro Orvalho, Orvalho, Pedro, Marta Kwiatkowska +1 · 5 citations
Computer Science · #Topic Modeling #Natural Language Processing Techniques #Software Engineering Research
- PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
2024/08/17 by Xiyue Zhang, Benjie Wang, Zhang, Xiyue +5 · 2 citations
Computer Science · #Neural Networks and Applications #Time Series Analysis and Forecasting
- Learning Dynamics and Generalization in Reinforcement Learning
2022/06/05 by Clare Lyle, Mark Rowland, Lyle, Clare +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
- Certification of Iterative Predictions in Bayesian Neural Networks
2021/05/21 by Matthew Wicker, Luca Laurenti, Wicker, Matthew +9 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms
- PID control of biochemical reaction networks
2021/02/26 by Max Whitby, Luca Cardelli, Marta Kwiatkowska +3 · 7 citations
Biochemistry, Genetics and Molecular Biology · #Gene Regulatory Network Analysis #Advanced biosensing and bioanalysis techniques #Receptor Mechanisms and Signaling