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

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science