Verification of safety critical control policies using kernel methods

23 March 2022

Papers citing "Verification of safety critical control policies using kernel methods"

1 / 1 papers shown

Title
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets Prashant Solanki Nikolaus Vertovec Yannik Schnitzer Jasper J. van Beers Coen de Visser Alessandro Abate 25 0 0 31 Mar 2025