Timetable
- Event Category
- Meeting
- Title
- Meeting
- Location
- E9.1 (CISPA Building), meeting room 3.21
- Details
- Paper: [2] An Abstraction-Based Framework for Neural Network Verification;
Presenter: Nikhil George - Starttime
- 01.06.2023 16:15
- Endtime
- 01.06.2023 17:45
- the whole day
- No