Neural Networks You Can Trust: Certified Learned Relations in Multi-Model Consistency Checking
Technical University of Munich
Munich, Germany · Data Engineering
ThesisMunich
- Posted
- 7 October 2026 (yesterday)
- Deadline
- 1 November 2026
- Department
- Data Engineering
- Category
- Thesis
- Employment type
- Not specified
- Language
- Not specified
Summary
Guided research · Master's thesis. Supervised by Johannes Mäkelburg. Examiner: Maribel Acosta Deibe.