Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk).

Min Zhang

Browse the full TASE paper archive.