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