Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic

Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos