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. 2109.06478
  4. Cited By
Specification and Validation of Autonomous Driving Systems: A Multilevel
  Semantic Framework

Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework

14 September 2021
M. Bozga
J. Sifakis
ArXivPDFHTML

Papers citing "Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework"

3 / 3 papers shown
Title
ML-SceGen: A Multi-level Scenario Generation Framework
ML-SceGen: A Multi-level Scenario Generation Framework
Yicheng Xiao
Yangyang Sun
Yicheng Lin
LLMAG
36
0
0
18 Jan 2025
Testing System Intelligence
Testing System Intelligence
J. Sifakis
6
3
0
19 May 2023
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
71
123
0
17 Mar 2020
1