TY  - RPRT
TI  - Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
AU  - Mohammad Hekmatnejad
AU  - Bardh Hoxha
AU  - Jyotirmoy V. Deshmukh
AU  - Yezhou Yang
AU  - Georgios Fainekos
PY  - 2023
UR  - https://arxiv.org/abs/2206.14372
ID  - 2206.14372
ER  -