Towards provably safe and robust learning-enabled systems

J Fan - 2022 - search.proquest.com
Abstract Machine learning (ML) has demonstrated great success in numerous complicated
tasks. Fueled by these advances, many real-world systems like autonomous vehicles and …