X Hu, S Li, T Huang, B Tang, R Huai… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Developing autonomous driving technologies necessitates addressing safety and cost concerns. Both academic research and commercial applications of autonomous driving …
Autonomous driving systems have witnessed significant development during the past years thanks to the advance in machine learning-enabled sensing and decision-making …
G Rong, BH Shin, H Tabatabaee, Q Lu… - 2020 IEEE 23rd …, 2020 - ieeexplore.ieee.org
Testing autonomous driving algorithms on real autonomous vehicles is extremely costly and many researchers and developers in the field cannot afford a real car and the corresponding …
AI-based systems are software systems with functionalities enabled by at least one AI component (eg, for image-, speech-recognition, and autonomous driving). AI-based systems …
Toward verified artificial intelligence Page 1 46 COMMUNICATIONS OF THE ACM | JULY 2022 | VOL. 65 | NO. 7 contributed articles ILL US TRA TION B Y PETER CRO W THER A …
Large-scale driving datasets such as Waymo Open Dataset and nuScenes substantially accelerate autonomous driving research, especially for perception tasks such as 3D …
S Tang, Z Zhang, Y Zhang, J Zhou, Y Guo… - ACM Transactions on …, 2023 - dl.acm.org
Automated Driving Systems (ADS) have made great achievements in recent years thanks to the efforts from both academia and industry. A typical ADS is composed of multiple modules …
J Sun, H Zhang, H Zhou, R Yu… - IEEE transactions on …, 2021 - ieeexplore.ieee.org
Highly Automated Vehicles (HAVs) must undergo strict safety testing before being released to the public. Mileage-based on-road testing suffers from unaffordable time costs and high …
We propose a new probabilistic programming language for the design and analysis of cyber- physical systems, especially those based on machine learning. We consider several …