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