The Library
What, indeed, is an achievable provable guarantee for learning-enabled safety-critical systems
Tools
Bensalem, Saddek, Cheng, Chih-Hong, Huang, Wei, Huang, Xiaowei, Wu, Changshun and Zhao, Xingyu (2023) What, indeed, is an achievable provable guarantee for learning-enabled safety-critical systems. In: Bridging the Gap Between AI and Reality. AISoLA 2023, Crete, Greece, 23-28 Oct 2023. Published in: Bridging the Gap Between AI and Reality. AISoLA 2023, 14380 pp. 55-76. ISBN 9783031460012. doi:10.1007/978-3-031-46002-9_4 ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/978-3-031-46002-9_4
Abstract
Machine learning has made remarkable advancements, but confidently utilising learning-enabled components in safety-critical domains still poses challenges. Among the challenges, it is known that a rigorous, yet practical, way of achieving safety guarantees is one of the most prominent. In this paper, we first discuss the engineering and research challenges associated with the design and verification of such systems. Then, based on the observation that existing works cannot actually achieve provable guarantees, we promote a two-step verification method for the ultimate achievement of provable statistical guarantees.
Item Type: | Conference Item (Paper) | ||||||
---|---|---|---|---|---|---|---|
Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||
Series Name: | Lecture Notes in Computer Science | ||||||
Journal or Publication Title: | Bridging the Gap Between AI and Reality. AISoLA 2023 | ||||||
Publisher: | Springer | ||||||
ISBN: | 9783031460012 | ||||||
ISSN: | 0302-9743 | ||||||
Book Title: | Bridging the Gap Between AI and Reality | ||||||
Official Date: | 14 December 2023 | ||||||
Dates: |
|
||||||
Volume: | 14380 | ||||||
Page Range: | pp. 55-76 | ||||||
DOI: | 10.1007/978-3-031-46002-9_4 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Access rights to Published version: | Restricted or Subscription Access | ||||||
Conference Paper Type: | Paper | ||||||
Title of Event: | Bridging the Gap Between AI and Reality. AISoLA 2023 | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Crete, Greece | ||||||
Date(s) of Event: | 23-28 Oct 2023 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |