本申請(qǐng)公開了一種高級(jí)駕駛輔助系統(tǒng)的證偽方法、設(shè)備、介質(zhì)及產(chǎn)品,涉及強(qiáng)化學(xué)習(xí)技術(shù)領(lǐng)域,該方法包括:構(gòu)建高級(jí)駕駛輔助系統(tǒng)證偽框架;基于信號(hào)時(shí)態(tài)邏輯語言描述高級(jí)駕駛輔助系統(tǒng)的安全規(guī)范;獲取高級(jí)駕駛輔助系統(tǒng)的當(dāng)前時(shí)刻系統(tǒng)狀態(tài);將當(dāng)前時(shí)刻系統(tǒng)狀態(tài)...