ONE of the most significant challen

ONE of the most significant challenges that must be addressed before autonomous cars can be deployed in mass production is the verification and validation of their control systems in terms of safety and performance [1], [2].It has been estimated that autonomous vehicles need to be driven 275 million miles without fatality to assure the same rate of reliability as existing human-driven cars [3]. Hence, testing and calibration of decision and control systems of autonomous vehicles in simulation becomes necessary to com- plement the on-the-road tests, and the formal method-based and reachability analysis-based procedures (see [4]–[7]).

結果 (繁體中文) 1:

之前，自主車可以在大批量生產中部署了必須解決的最顯著的挑戰之一是其控制系統的安全性和性能[1]方面的核查和驗證，[2]。
據估計，自主車需要為現有的人力驅動汽車[3]被驅動2.75億英里沒有病死率，以確保相同的可靠性率。因此，測試和在模擬自主車輛的決定和控制系統的校準變得有必要的COM plement上的道路試驗，並正式基於方法和可達性分析為基礎的程序（見[4] - [7] ）。

結果 (繁體中文) 2:

在將自動駕駛汽車部署到大規模生產中之前，必須解決的最重要挑戰之一是驗證和驗證其控制系統的安全性和性能 [1]，[2]。
據估計，自動駕駛汽車需要行駛2.75億英里而不致命，才能保證與現有人駕駛汽車相同的可靠性[3]。因此，在模擬中測試和校準自動駕駛車輛的決策和控制系統對於進行公路測試以及基於方法和可得性分析的正式過程（參見[4][7]）是必要的。 ...

結果 (繁體中文) 3:

在將自主汽車投入大規模生產之前，必須解决的最重大挑戰之一是從安全性和效能方面對其控制系統進行驗證和確認[1]，[2]。
據估計，自動駕駛汽車需要在沒有死亡的情况下行駛2.75億英里，以確保與現有的人駕駛汽車一樣的可靠性[3]。囙此，在模擬中對自主車輛的決策和控制系統進行測試和校準，對於完成道路試驗和基於形式化方法和基於可達性分析的程式（見[4]-[7]）是非常必要的。