CommonRoad-CARLA Interface: Bridging the Gap between MotionPlanning and 3D Simulation
2024 IEEE Intelligent Vehicles Symposium (IV)
2024
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
arxiv
2024
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking
Proceedings of the IEEE Intelligent Vehicles Symposium (IV)
2024
Robust and Efficient Curvilinear Coordinate Transformation with Guaranteed Map Coverage for Motion Planning
2024 IEEE Intelligent Vehicles Symposium (IV)
2024
Simplifying Sim-to-Real Transfer in Autonomous Driving: Coupling Autoware with the CommonRoad Motion Planning Framework
2024 IEEE Intelligent Vehicles Symposium (IV)
2024
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
Proceedings of the AAAI Conference on Artificial Intelligence
2024
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
8th NASA Formal Methods Symposium
2016