Options
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications
Formally Compensating Performance Limitations for Imprecise 2D Object Detection
Logically Sound Arguments for the Effectiveness of ML Safety Measures