Taxonomy of machine learning safety: A survey and primer
The open-world deployment of Machine Learning (ML) algorithms in safety-critical
applications such as autonomous vehicles needs to address a variety of ML vulnerabilities …
applications such as autonomous vehicles needs to address a variety of ML vulnerabilities …
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
We present VerifAI, a software toolkit for the formal design and analysis of systems that
include artificial intelligence (AI) and machine learning (ML) components. VerifAI particularly …
include artificial intelligence (AI) and machine learning (ML) components. VerifAI particularly …
Toward verified artificial intelligence
Toward verified artificial intelligence Page 1 46 COMMUNICATIONS OF THE ACM | JULY
2022 | VOL. 65 | NO. 7 contributed articles ILL US TRA TION B Y PETER CRO W THER A …
2022 | VOL. 65 | NO. 7 contributed articles ILL US TRA TION B Y PETER CRO W THER A …
Compositional falsification of cyber-physical systems with machine learning components
Abstract Cyber-physical systems (CPS), such as automotive systems, are starting to include
sophisticated machine learning (ML) components. Their correctness, therefore, depends on …
sophisticated machine learning (ML) components. Their correctness, therefore, depends on …
Trustworthy ai
JM Wing - Communications of the ACM, 2021 - dl.acm.org
Trustworthy AI Page 1 64 COMMUNICATIONS OF THE ACM | OCTOBER 2021 | VOL. 64 | NO.
10 review articles DOI:10.1145/3448248 The pursuit of responsible AI raises the ante on both …
10 review articles DOI:10.1145/3448248 The pursuit of responsible AI raises the ante on both …
A practical end-to-end inventory management model with deep learning
We investigate a data-driven multiperiod inventory replenishment problem with uncertain
demand and vendor lead time (VLT) with accessibility to a large quantity of historical data …
demand and vendor lead time (VLT) with accessibility to a large quantity of historical data …
Formal verification of neural network controlled autonomous systems
In this paper, we consider the problem of formally verifying the safety of an autonomous
robot equipped with a Neural Network (NN) controller that processes LiDAR images to …
robot equipped with a Neural Network (NN) controller that processes LiDAR images to …
Quantitative verification of neural networks and its security applications
Neural networks are increasingly employed in safety-critical domains. This has prompted
interest in verifying or certifying logically encoded properties of neural networks. Prior work …
interest in verifying or certifying logically encoded properties of neural networks. Prior work …
Adversarial robustness of deep neural networks: A survey from a formal verification perspective
Neural networks have been widely applied in security applications such as spam and
phishing detection, intrusion prevention, and malware detection. This black-box method …
phishing detection, intrusion prevention, and malware detection. This black-box method …
Practical solutions for machine learning safety in autonomous vehicles
Autonomous vehicles rely on machine learning to solve challenging tasks in perception and
motion planning. However, automotive software safety standards have not fully evolved to …
motion planning. However, automotive software safety standards have not fully evolved to …