Academic
Academic
Home
Experience
Projects
Talks
Publications
Contact
CV
Light
Dark
Automatic
Source Themes
Safety Verification and Navigation for Autonomous Vehicles Based on Signal Temporal Logic Constraints
The software architecture behind modern autonomous vehicles (AV) is becoming more complex steadily. Safety verification is now an …
Aditya Parameshwaran
,
Yue Wang
PDF
Cite
Code
Project
Slides
DOI
Cite
×
