ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2206.14372
  4. Cited By
Formalizing and Evaluating Requirements of Perception Systems for
  Automated Vehicles using Spatio-Temporal Perception Logic

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
ArXivPDFHTML

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
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
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