Abstract

Autonomous Systems' Safety Cases for use in UK Nuclear Environments

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Structuring safety cases for autonomous systems
R.D Alexander ... N.J Herbert
-
R.D Alexander, et. al.R.D Alexander ... N.J Herbert
01 Jan 2008
On the Characterization of Resilience vs Robustness of Autonomous Robotic Systems
Ronald H Freeman
-
Ronald H FreemanRonald H Freeman
15 Oct 2022
Applicability of UL 4600 to Unmanned Aircraft Systems (UAS) and Urban Air Mobility (UAM)
Alfred H Andy Anderegg ... Uma D Ferrell
-
Alfred H Andy Anderegg, et. al.Alfred H Andy Anderegg ... Uma D Ferrell
11 Oct 2020
Case Study Analysis of STPA as Basis for Dynamic Safety Assurance of Autonomous Systems
Davy Pissoort ... Dries Vanoost
-
Davy Pissoort, et. al.Davy Pissoort ... Dries Vanoost
01 Jan 2021
View more papers

More From: Electronic Proceedings in Theoretical Computer Science

Paper Title
Journal
Date
Author
More Church-Rosser Proofs in BELUGA
Martina Sassella ... Alberto Momigliano
Electronic Proceedings in Theoretical Computer Science | VOL. 402
Martina Sassella, et. al.Martina Sassella ... Alberto Momigliano
23 Apr 2024
Cutting a Proof into Bite-Sized Chunks (Incrementally Proving Termination in Higher-Order Term Rewriting)
Cynthia Kop
Electronic Proceedings in Theoretical Computer Science | VOL. 402
Cynthia KopCynthia Kop
23 Apr 2024
Stalnaker's Epistemic Logic in Isabelle/HOL
Laura P Gamboa Guzman ... Kristin Y Rozier
Electronic Proceedings in Theoretical Computer Science | VOL. 402
Laura P Gamboa Guzman, et. al.Laura P Gamboa Guzman ... Kristin Y Rozier
23 Apr 2024
Proof Terms for Higher-Order Rewriting and Their Equivalence
Pablo Barenbaum
Electronic Proceedings in Theoretical Computer Science | VOL. 402
Pablo BarenbaumPablo Barenbaum
23 Apr 2024
View more papers