共 50 条
- [1] Formal Verification of Autonomous Vehicles: Bridging the Gap between Model-Based Design and Model Checking SAE International Journal of Advances and Current Practices in Mobility, 2023, 6 (02): : 814 - 826
- [2] Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation 2021 32ND IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2021, : 215 - 222
- [3] Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking 2021 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE (ITSC), 2021, : 244 - 250
- [5] MODEL-BASED MANEUVERING CONTROLS FOR AUTONOMOUS UNDERWATER VEHICLES JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, 1992, 114 (04): : 614 - 622
- [6] Autonomous Driving Validation with Model-Based Dictionary Clustering MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES: APPLIED DATA SCIENCE TRACK, ECML PKDD 2020, PT IV, 2021, 12460 : 323 - 338
- [7] Model-Based Verification and Validation of the SMAP Uplink Processes 2013 IEEE AEROSPACE CONFERENCE, 2013,
- [8] Verification and Validation Approaches for Model-based Software Engineering 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 514 - 518
- [10] A Methodology for Model-Based Validation of Autonomous Vehicle Systems 2020 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2020, : 2097 - 2103