16 Jan | Safe Learning-Enabled Systems
National Science Foundation
The objective of the program is to foster the design and implementation of learning-enabled systems in which safety is ensured with high levels of confidence. Any learning-enabled system’s end-to-end safety guarantees must be specified clearly and precisely and provide rigorous evidence for satisfying a safety specification through analysis corroborated empirically and/or with mathematical proof.