v1v2v3 (latest)

How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review

26 July 2021

Paulina Stevia Nouwou Mindom

Papers citing "How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review"

28 / 28 papers shown

Title
Fixed Point Explainability Emanuele La Malfa Jon Vadillo Marco Molinari Michael Wooldridge 155 0 0 18 May 2025
CoCoAFusE: Beyond Mixtures of Experts via Model Fusion Aurelio Raffa Ugolini M. Tanelli Valentina Breschi MoE 88 0 0 02 May 2025
Operational range bounding of spectroscopy models with anomaly detection Luís F. Simoes Pierluigi Casale Marília Felismino K. H. Yip Ingo P. Waldmann Giovanna Tinetti T. Lueftinger 42 0 0 05 Aug 2024
Distributionally Robust Constrained Reinforcement Learning under Strong Duality Zhengfei Zhang Kishan Panaganti Laixi Shi Yanan Sui Adam Wierman Yisong Yue OOD 87 5 0 22 Jun 2024
Science based AI model certification for new operational environments with application in traffic state estimation Daryl Mupupuni Anupama Guntu Liang Hong Kamrul Hasan Leehyun Keel 54 0 0 13 May 2024
Forward Learning for Gradient-based Black-box Saliency Map Generation Zeliang Zhang Mingqian Feng Jinyang Jiang Rongyi Zhu Yijie Peng Chenliang Xu FAtt 103 2 0 22 Mar 2024
Testing Spintronics Implemented Monte Carlo Dropout-Based Bayesian Neural Networks Soyed Tuhin Ahmed Michael Hefenbrock G. Prenat L. Anghel M. Tahoori 71 0 0 09 Jan 2024
Learning Polynomial Representations of Physical Objects with Application to Certifying Correct Packing Configurations Morgan Jones 47 0 0 11 Dec 2023
METAL: Metamorphic Testing Framework for Analyzing Large-Language Model Qualities Sangwon Hyun Mingyu Guo Muhammad Ali Babar 75 10 0 11 Dec 2023
Modeling Risk in Reinforcement Learning: A Literature Mapping Leonardo Villalobos-Arias Derek Martin Abhijeet Krishnan Madeleine Gagné Colin M. Potts Arnav Jhala 64 0 0 08 Dec 2023
Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing Ayoosh Bansal Yang Zhao James Zhu Sheng Cheng Yuliang Gu Hyung-Jin Yoon Hunmin Kim N. Hovakimyan Lui Sha 94 2 0 05 Dec 2023
GIST: Generated Inputs Sets Transferability in Deep Learning Florian Tambon Foutse Khomh G. Antoniol AAML 94 1 0 01 Nov 2023
SEE-OoD: Supervised Exploration For Enhanced Out-of-Distribution Detection Xiaoyang Song Wenbo Sun Maher Nouiehed Raed Al Kontar J. Jin OODD 81 0 0 12 Oct 2023
Data Cleaning and Machine Learning: A Systematic Literature Review Pierre-Olivier Coté Amin Nikanjam Nafisa Ahmed D. Humeniuk Foutse Khomh 91 31 0 03 Oct 2023
Verifying Safety of Neural Networks from Topological Perspectives Zhen Liang Dejin Ren Bai Xue Jing Wang Wenjing Yang Wanwei Liu AAML 74 0 0 27 Jun 2023
Memory Efficient Neural Processes via Constant Memory Attention Block Leo Feng Frederick Tung Hossein Hajimirsadeghi Yoshua Bengio Mohamed Osama Ahmed 81 7 0 23 May 2023
Optimality Principles in Spacecraft Neural Guidance and Control Dario Izzo E. Blazquez Robin Ferede Sebastien Origer Christophe De Wagter Guido C. H. E de Croon 82 11 0 22 May 2023
Delay-SDE-net: A deep learning approach for time series modelling with memory and uncertainty estimates M. Eggen A. Midtfjord 53 2 0 14 Mar 2023
DeepGD: A Multi-Objective Black-Box Test Selection Approach for Deep Neural Networks Zohreh Aghababaeyan Manel Abdellatif Mahboubeh Dadkhah Lionel C. Briand AAML 65 18 0 08 Mar 2023
DiffTune: Auto-Tuning through Auto-Differentiation Sheng Cheng Minkyung Kim Lin Song Chengyu Yang Zhuohuan Wu Shenlong Wang N. Hovakimyan 97 7 0 20 Sep 2022
Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults Ayoosh Bansal Hunmin Kim Simon Yu Yue Liu N. Hovakimyan Marco Caccamo L. Sha AAML 104 4 0 04 Sep 2022
A Probabilistic Framework for Mutation Testing in Deep Neural Networks Florian Tambon Foutse Khomh G. Antoniol MedIm 47 14 0 11 Aug 2022
Ergo, SMIRK is Safe: A Safety Case for a Machine Learning Component in a Pedestrian Automatic Emergency Brake System Markus Borg Jens Henriksson Kasper Socha Olof Lennartsson Elias Sonnsjo Lonegren T. Bui Piotr Tomaszewski S. Sathyamoorthy Sebastian Brink M. H. Moghadam 87 25 0 16 Apr 2022
Hardware Approximate Techniques for Deep Neural Network Accelerators: A Survey Giorgos Armeniakos Georgios Zervakis Dimitrios Soudris J. Henkel 281 98 0 16 Mar 2022
Safe AI -- How is this Possible? Harald Ruess Simon Burton 68 0 0 25 Jan 2022
Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learning Lukas Brunke Melissa Greeff Adam W. Hall Zhaocong Yuan Siqi Zhou Jacopo Panerati Angela P. Schoellig OffRL 68 637 0 13 Aug 2021
DeepStack: Expert-Level Artificial Intelligence in No-Limit Poker Matej Moravcík Martin Schmid Neil Burch Viliam Lisý Dustin Morrill Nolan Bard Trevor Davis Kevin Waugh Michael Bradley Johanson Michael Bowling BDL 276 913 0 06 Jan 2017
"Why Should I Trust You?": Explaining the Predictions of Any Classifier Marco Tulio Ribeiro Sameer Singh Carlos Guestrin FAtt FaML 1.3K 17,211 0 16 Feb 2016