Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2206.14372
Cited By
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic
29 June 2022
Mohammad Hekmatnejad
Bardh Hoxha
Jyotirmoy V. Deshmukh
Yezhou Yang
Georgios Fainekos
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic"
3 / 3 papers shown
Title
Pretrained Embeddings as a Behavior Specification Mechanism
Parv Kapoor
Abigail Hammer
Ashish Kapoor
Karen Leung
Eunsuk Kang
34
0
0
03 Mar 2025
Querying Perception Streams with Spatial Regular Expressions
Jacob Anderson
Georgios Fainekos
Bardh Hoxha
Hideki Okamoto
Danil Prokhorov
40
0
0
08 Nov 2024
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Daniel J. Fremont
Edward Kim
Yash Vardhan Pant
S. Seshia
Atul Acharya
Xantha Bruso
Paul Wells
Steve Lemke
Q. Lu
Shalin Mehta
76
124
0
17 Mar 2020
1