SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions

Item #:
079017-3214

Details

Description

 

Members/Attendees

 

Tab 4