Trustworthy AI: From principles to practices
The rapid development of Artificial Intelligence (AI) technology has enabled the deployment
of various systems based on it. However, many current AI systems are found vulnerable to …
of various systems based on it. However, many current AI systems are found vulnerable to …
Assuring the machine learning lifecycle: Desiderata, methods, and challenges
R Ashmore, R Calinescu, C Paterson - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
Machine learning has evolved into an enabling technology for a wide range of highly
successful applications. The potential for this success to continue and accelerate has placed …
successful applications. The potential for this success to continue and accelerate has placed …
Software engineering for AI-based systems: a survey
AI-based systems are software systems with functionalities enabled by at least one AI
component (eg, for image-, speech-recognition, and autonomous driving). AI-based systems …
component (eg, for image-, speech-recognition, and autonomous driving). AI-based systems …
[HTML][HTML] NNV: the neural network verification tool for deep neural networks and learning-enabled cyber-physical systems
This paper presents the Neural Network Verification (NNV) software tool, a set-based
verification framework for deep neural networks (DNNs) and learning-enabled cyber …
verification framework for deep neural networks (DNNs) and learning-enabled cyber …
Scenic: a language for scenario specification and scene generation
We propose a new probabilistic programming language for the design and analysis of
perception systems, especially those based on machine learning. Specifically, we consider …
perception systems, especially those based on machine learning. Specifically, we consider …
Does physical adversarial example really matter to autonomous driving? towards system-level effect of adversarial object evasion attack
In autonomous driving (AD), accurate perception is indispensable to achieving safe and
secure driving. Due to its safety-criticality, the security of AD perception has been widely …
secure driving. Due to its safety-criticality, the security of AD perception has been widely …
[HTML][HTML] Recent advancements and challenges of AIoT application in smart agriculture: A review
As the most popular technologies of the 21st century, artificial intelligence (AI) and the
internet of things (IoT) are the most effective paradigms that have played a vital role in …
internet of things (IoT) are the most effective paradigms that have played a vital role in …
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 …
Formal scenario-based testing of autonomous vehicles: From simulation to the real world
We present a new approach to automated scenario-based testing of the safety of
autonomous vehicles, especially those using advanced artificial intelligence-based …
autonomous vehicles, especially those using advanced artificial intelligence-based …
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 …