共 50 条
- [32] System Verification of Autonomous Underwater Vehicles by Model Checking OCEANS 2009 - EUROPE, VOLS 1 AND 2, 2009, : 454 - 463
- [33] Safety Verification of Autonomous Vehicles for Coordinated Evasive Maneuvers 2010 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2010, : 1078 - 1083
- [34] Development of a Scenario Simulation Platform to Support Autonomous Driving Verification 2019 8TH IEEE INTERNATIONAL CONFERENCE ON CONNECTED VEHICLES AND EXPO (IIEEE CCVE), 2019,
- [40] Self-Calibration of Multiple LiDARs for Autonomous Vehicles 2021 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE (ITSC), 2021, : 2897 - 2902