Options
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers
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
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications