English
Related papers

Related papers: Learning Run-time Safety Monitors for Machine Lear…

200 papers

Machine Learning (ML) models, such as deep neural networks, are widely applied in autonomous systems to perform complex perception tasks. New dependability challenges arise when ML predictions are used in safety-critical applications, like…

Machine Learning · Computer Science 2024-12-11 Raul Sena Ferreira , Joris Guérin , Kevin Delmas , Jérémie Guiochet , Hélène Waeselynck

With the increasing use of Machine Learning (ML) in critical autonomous systems, runtime monitors have been developed to detect prediction errors and keep the system in a safe state during operations. Monitors have been proposed for…

Machine Learning · Computer Science 2022-09-01 Joris Guerin , Raul Sena Ferreira , Kevin Delmas , Jérémie Guiochet

As machine learning (ML) components become increasingly integrated into software systems, the emphasis on the ethical or responsible aspects of their use has grown significantly. This includes building ML-based systems that adhere to…

Software Engineering · Computer Science 2023-10-11 Hira Naveed

Context and motivation: The development and operation of critical software that contains machine learning (ML) models requires diligence and established processes. Especially the training data used during the development of ML models have…

Software Engineering · Computer Science 2023-02-01 Hans-Martin Heyn , Eric Knauss , Iswarya Malleswaran , Shruthi Dinakaran

High-accurate machine learning (ML) image classifiers cannot guarantee that they will not fail at operation. Thus, their deployment in safety-critical applications such as autonomous vehicles is still an open issue. The use of fault…

Artificial Intelligence · Computer Science 2021-10-05 Raul Sena Ferreira , Jean Arlat , Jeremie Guiochet , Hélène Waeselynck

Complex dynamical systems rely on the correct deployment and operation of numerous components, with state-of-the-art methods relying on learning-enabled components in various stages of modeling, sensing, and control at both offline and…

Systems and Control · Electrical Eng. & Systems 2021-01-22 Weiming Xiang

In learning-enabled autonomous systems, safety monitoring of learned components is crucial to ensure their outputs do not lead to system safety violations, given the operational context of the system. However, developing a safety monitor…

Machine Learning · Computer Science 2024-12-23 Sepehr Sharifi , Andrea Stocco , Lionel C. Briand

Autonomous Systems (AS) are increasingly proposed, or used, in Safety Critical (SC) applications. Many such systems make use of sophisticated sensor suites and processing to provide scene understanding which informs the AS' decision-making.…

Systems and Control · Electrical Eng. & Systems 2022-08-19 John Molloy , John McDermid

Given the inherent non-deterministic nature of machine learning (ML) systems, their behavior in production environments can lead to unforeseen and potentially dangerous outcomes. For a timely detection of unwanted behavior and to prevent…

Software Engineering · Computer Science 2025-10-01 Hira Naveed , John Grundy , Chetan Arora , Hourieh Khalajzadeh , Omar Haggag

We present a model-based approach to learning robust runtime monitors for autonomous systems. Runtime monitors play a crucial role in raising the level of assurance by observing system behavior and predicting potential safety violations. In…

Logic in Computer Science · Computer Science 2026-02-17 Antonina Skurka , Luko van der Maas , Sebastian Junges , Hazem Torfah

Machine Learning (ML) is now used in a range of systems with results that are reported to exceed, under certain conditions, human performance. Many of these systems, in domains such as healthcare , automotive and manufacturing, exhibit high…

Machine Learning · Computer Science 2021-02-03 Richard Hawkins , Colin Paterson , Chiara Picardi , Yan Jia , Radu Calinescu , Ibrahim Habli

Machine learning (ML) models deployed in many safety- and business-critical systems are vulnerable to exploitation through adversarial examples. A large body of academic research has thoroughly explored the causes of these blind spots,…

Cryptography and Security · Computer Science 2020-07-15 Ivan Evtimov , Weidong Cui , Ece Kamar , Emre Kiciman , Tadayoshi Kohno , Jerry Li

Machine Learning~(ML) has provided promising results in recent years across different applications and domains. However, in many cases, qualities such as reliability or even safety need to be ensured. To this end, one important aspect is to…

Autonomous systems that rely on Machine Learning (ML) utilize online fault tolerance mechanisms, such as runtime monitors, to detect ML prediction errors and maintain safety during operation. However, the lack of human-interpretable…

Machine Learning · Computer Science 2025-05-21 Aniket Salvi , Gereon Weiss , Mario Trapp

Runtime monitors assess whether a system is in an unsafe state based on a stream of observations. We study the problem where the system is subject to probabilistic uncertainty and described by a hidden Markov model. A stream of observations…

Formal Languages and Automata Theory · Computer Science 2025-09-22 Luko van der Maas , Sebastian Junges

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 address the challenges of machine learning safety such as…

Machine Learning · Computer Science 2019-12-23 Sina Mohseni , Mandar Pitale , Vasu Singh , Zhangyang Wang

This paper introduces the safety controller architecture as a runtime assurance mechanism for system specifications expressed as safety properties in Linear Temporal Logic (LTL). The safety controller has three fundamental components: a…

Systems and Control · Electrical Eng. & Systems 2019-08-12 Matthew Abate , Eric Feron , Samuel Coogan

As deep learning continues to dominate all state-of-the-art computer vision tasks, it is increasingly becoming an essential building block for robotic perception. This raises important questions concerning the safety and reliability of…

Robotics · Computer Science 2021-07-13 Quazi Marufur Rahman , Peter Corke , Feras Dayoub

Machine learning (ML) models are used in many safety- and security-critical applications nowadays. It is therefore important to measure the security of a system that uses ML as a component. This paper focuses on the field of ML,…

Cryptography and Security · Computer Science 2024-06-21 Jan Schröder , Jakub Breier

Robot learning methods have recently made great strides, but generalization and robustness challenges still hinder their widespread deployment. Failing to detect and address potential failures renders state-of-the-art learning systems not…

Robotics · Computer Science 2024-03-11 Huihan Liu , Shivin Dass , Roberto Martín-Martín , Yuke Zhu
‹ Prev 1 2 3 10 Next ›