Options
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers
Formal Specification for Learning-Enabled Autonomous Systems
Potential-based Credit Assignment for Cooperative RL-based Testing of Autonomous Vehicles
Selected Challenges in ML Safety for Railway