2024journal

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

International Journal of Robotics Research (IJRR), 2024

Topics: Testing; Falsification; and Specification

Citation

@article{hekmatnejad2022formalizing,
  title = {Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic},
  author = {Hekmatnejad, Mohammad and Hoxha, Bardh and Deshmukh, Jyotirmoy V and Yang, Yezhou and Fainekos, Georgios},
  journal = {International Journal of Robotics Research (IJRR), 2024},
  year = {2024},
  url = {https://arxiv.org/pdf/2206.14372.pdf},
  keywords = {Testing, Falsification, and Specification}
}