News
Block Seminar
Written on 27.07.2026 10:58 by Marcel Vinzent
[Updated Schedule]
Dear students,
this is a friendly reminder that the final version of your presentation slides will be due tomorrow, July 28, end-of-day (upload via CMS). The block seminar is going to take place on Wednesday, July 29, at 9am (room 3.06, Building E1 1). Please find the talk schedule below.
Best,
Marcel
Schedule:
- 9:00 Topic 1: Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
- 9:30 Topic 4: Robustness Verification of Multi-Class Tree Ensembles
- 10:00 Coffee Break
- 10:10 Topic 5: Neural Network Action Policy Verification via Predicate Abstraction
- 10:40 Topic 6: Neural Policy Safety Verification via Predicate Abstraction: CEGAR
- 11:10 Topic 8: Verifying Reinforcement Learning up to Infinity
- 11:50 Lunch Break
- 12:50 Topic 13: SpecRepair Counter-Example Guided Safety Repair of Deep Neural Networks
- 13:20 Topic 14: Minimal Modifications of Deep Neural Networks using Verification
- 13:50 Coffee Break
- 14:00 Topic 15: Towards Repairing Neural Networks Correctly
- 14:30 Topic 16: Safety Debugging of Tree-Ensemble Action Policies in AI Planning: From Fault Detection to Fault Fixing
- 15:00 Closing