Options
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications
Formally Compensating Performance Limitations for Imprecise 2D Object Detection
Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles
Logically Sound Arguments for the Effectiveness of ML Safety Measures
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers