Skip to main content
SpringerLink
Log in

Machine Learning Safety

  • Textbook
  • © 2023

Overview

Authors:
  1. Xiaowei Huang

    1. University of Liverpool, Liverpool, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Gaojie Jin

    1. University of Liverpool, Liverpool, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Wenjie Ruan

    1. University of Exeter, Exeter, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Provides a comprehensive and thorough investigation on safety concerns regarding machine learning
  • Shows readers to identify vulnerabilities in machine learning models and to improve the models in the training process
  • Demonstrates formal verification approaches used to identify vulnerabilities in machine learning models

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 16.99 USD 59.99
Discount applied Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 79.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 chapters)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Safety Properties

    1. Front Matter

      Pages 1-2
      Download chapter PDF

    2. Machine Learning Basics

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 3-13

    3. Model Evaluation Methods

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 15-21

    4. Safety and Security Properties

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 23-35

    5. Practice

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 37-45

  3. Safety Threats

    1. Front Matter

      Pages 47-47
      Download chapter PDF

    2. Decision Tree

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 49-70

    3. K-Nearest Neighbor

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 71-81

    4. Linear Regression

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 83-93

    5. Naive Bayes

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 95-102

    6. Loss Function and Gradient Descent

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 103-107

    7. Deep Learning

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 109-177

  4. Safety Solutions

    1. Front Matter

      Pages 179-180
      Download chapter PDF

    2. Verification of Deep Learning

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 181-203

    3. Enhancement to Safety and Security of Deep Learning

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 205-216

  5. Extended Safety Solutions

    1. Front Matter

      Pages 217-218
      Download chapter PDF

    2. Deep Reinforcement Learning

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 219-235

    3. Testing Techniques

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 237-239

    4. Reliability Assessment

      • Xiaowei Huang, Gaojie Jin, Wenjie Ruan
      Pages 241-243
Back to top

Keywords

About this book

Machine learning algorithms allow computers to learn without being explicitly programmed. Their application is now spreading to highly sophisticated tasks across multiple domains, such as medical diagnostics or fully autonomous vehicles. While this development holds great potential, it also raises new safety concerns, as machine learning has many specificities that make its behaviour prediction and assessment very different from that for explicitly programmed software systems. This book addresses the main safety concerns with regard to machine learning, including its susceptibility to environmental noise and adversarial attacks. Such vulnerabilities have become a major roadblock to the deployment of machine learning in safety-critical applications. The book presents up-to-date techniques for adversarial attacks, which are used to assess the vulnerabilities of machine learning models; formal verification, which is used to determine if a trained machine learning model is free of vulnerabilities; and adversarial training, which is used to enhance the training process and reduce vulnerabilities.

 The book aims to improve readers’ awareness of the potential safety issues regarding machine learning models. In addition, it includes up-to-date techniques for dealing with these issues, equipping readers with not only technical knowledge but also hands-on practical skills.

Authors and Affiliations

  • University of Liverpool, Liverpool, UK

    Xiaowei Huang, Gaojie Jin

  • University of Exeter, Exeter, UK

    Wenjie Ruan

About the authors

Xiaowei Huang is currently a Reader of Computer Science and Director of the Autonomous Cyber-Physics Systems lab at the University of Liverpool (UoL). His research is concerned with the development of automated verification techniques that ensure the correctness and reliability of intelligent systems. He has published more than 80 papers, primarily in leading conference proceedings and journals in the fields of Artificial Intelligence (e.g. Artificial Intelligence Journal, ACM Transactions on Computational Logics, NeurIPS, AAAI, IJCAI, ECCV), Formal Verification (e.g. CAV, TACAS, and Theoretical Computer Science) and Software Engineering (e.g. IEEE Transactions on Reliability, ICSE and ASE). He has been invited to give talks at several leading conferences, discussing topics related to the safety and security of applying machine learning algorithms to critical applications. He has co-chaired the AAAI and IJCAI workshop series on Artificial Intelligence Safety and been the PI or co-PI ofseveral Dstl (Ministry of Defence, UK), EPSRC and EU H2020 projects. He is the Director of the Autonomous Cyber Physical Systems Lab at Liverpool. 

Wenjie Ruan is a Senior Lecturer of Data Science at the University of Exeter, UK. His research interests lie in the adversarial robustness of deep neural networks, and in machine learning and its applications in safety-critical systems, including health data analytics and human-centered computing. His series of research works on Device-free Human Localization and Activity Recognition for Supporting the Independent Living of the Elderly garnered him a Doctoral Thesis Excellence Award from the University of Adelaide, Best Research Poster Award at the 9th ACM International Workshop on IoT and Cloud Computing, and Best Student Paper Award at the 14th International Conference on Advanced Data Mining and Applications. He was also the recipient of a prestigious DECRA fellowship from the Australian Research Council. Dr. Ruan has published more than 40 papers in international conference proceedings such as AAAI, IJCAI, SIGIR, WWW, ICDM, UbiComp, CIKM, and ASE. Dr. Ruan has served as a senior PC, PC member or invited reviewer for over 10 international conferences, including IJCAI, AAAI, ICML, NeurIPS, CVPR, ICCV, AAMAS, ECML-PKDD, etc. He is the Director of the Exeter Trustworthy AI Lab at the University of Exeter. 

Bibliographic Information

  • Book Title: Machine Learning Safety

  • Authors: Xiaowei Huang, Gaojie Jin, Wenjie Ruan

  • Series Title: Artificial Intelligence: Foundations, Theory, and Algorithms

  • DOI: https://doi.org/10.1007/978-981-19-6814-3

  • Publisher: Springer Singapore

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2023

  • Hardcover ISBN: 978-981-19-6813-6Published: 29 April 2023

  • Softcover ISBN: 978-981-19-6816-7Due: 30 May 2023

  • eBook ISBN: 978-981-19-6814-3Published: 28 April 2023

  • Series ISSN: 2365-3051

  • Series E-ISSN: 2365-306X

  • Edition Number: 1

  • Number of Pages: XVII, 321

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Machine Learning, Systems and Data Security, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation