本公開(kāi)涉及一種通過(guò)強(qiáng)化學(xué)習(xí)來(lái)檢查自動(dòng)化的行駛功能的方法。該方法包括：提供自動(dòng)化的行駛功能的至少一個(gè)規(guī)范；產(chǎn)生場(chǎng)景，其中場(chǎng)景通過(guò)第一參數(shù)組at來(lái)指示；以及求取獎(jiǎng)勵(lì)函數(shù)，使得與在模擬中的場(chǎng)景滿(mǎn)足至少一個(gè)規(guī)范的情況下相比，在模擬中的場(chǎng)景不滿(mǎn)足至少一個(gè)規(guī)范的情況下，獎(jiǎng)勵(lì)Rnn更高。