Options
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers
Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection
Logically Sound Arguments for the Effectiveness of ML Safety Measures
Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
Formal Specification for Learning-Enabled Autonomous Systems
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications
Formally Compensating Performance Limitations for Imprecise 2D Object Detection