Options
Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles
Butterfly Effect Attack: Tiny and Seemingly Unrelated Perturbations for Object Detection
Logically Sound Arguments for the Effectiveness of ML Safety Measures
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers
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