Options
Sensing and Machine Learning for Automotive Perception: A Review
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation
Formal Specification for Learning-Enabled Autonomous Systems
Guest Editorial Special Issue on Sensing and Machine Learning for Automotive Perception
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