Dear Spiral User, If you encounter any issues while depositing your thesis in Spiral, please email assessment.records@imperial.ac.uk. For all other issues please raise a ticket to Research Applications team providing as much detail as possible in order to help us resolve your query. Kind Regards, Spiral Team.
 
Leveraging approximate model-based shielding for probabilistic safety guarantees in continuous environments
File(s)
2402.00816v1.pdf (3.48 MB)
Preprint version
Author(s)
Goodall, Alexander W
Belardinelli, Francesco
Type
Preprint
Date Issued
2024-02-01
Citation
arXiv, 2024
URI
DOI
Journal / Book Title
arXiv
Copyright Statement
Copyright © 2024 The Author(s). This work is licensed under a Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0/).
License URL
Identifier
http://arxiv.org/abs/2402.00816v1