Assured autonomy in safety critical CPS

• Main Author: Prashant, Mohit
• Other Authors: Arvind Easwaran
• Format: Final Year Project
• Language: English
• Published: Nanyang Technological University 2021
• Subjects: Engineering::Computer science and engineering::Mathematics of computing::Probability and statistics; Engineering::Computer science and engineering::Computing methodologies::Artificial intelligence
• Online Access: https://hdl.handle.net/10356/153289
• Institution: Nanyang Technological University

The aim of this study is to investigate safety guarantees on variational autoencoder (VAE) outputs. The problem of establishing a safety guarantee on machine learning models is to ensure that the model probabilistically satisfies particular constraints. The model targeted in this study is the β-VAE,...