Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2109.06478
Cited By
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
14 September 2021
M. Bozga
J. Sifakis
Re-assign community
ArXiv
PDF
HTML
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
Yicheng Xiao
Yangyang Sun
Yicheng Lin
LLMAG
36
0
0
18 Jan 2025
Testing System Intelligence
J. Sifakis
6
3
0
19 May 2023
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