Constrained Feedforward Neural Network Training via Reachability Analysis

16 July 2021

Papers citing "Constrained Feedforward Neural Network Training via Reachability Analysis"

4 / 4 papers shown

Title
Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis Ahmad Hafez Alireza Naderi Akhormeh Amr Hegazy Amr Alanwar 51 0 0 05 Mar 2025
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis Long Kiu Chung Shreyas Kousik 211 0 0 22 Jan 2025
Hybrid Zonotopes Exactly Represent ReLU Neural Networks Joshua Ortiz Alyssa Vellucci Justin P. Koeln Justin Ruths 21 8 0 05 Apr 2023
Safe Reinforcement Learning Using Black-Box Reachability Analysis Mahmoud Selim Amr Alanwar Shreyas Kousik Grace Gao Marco Pavone Karl H. Johansson 29 33 0 15 Apr 2022