.png){kind=icon}
Return
Compositional code-level safety verification for automated driving controllers
.png){kind=icon}
PRE
AI
DOI：10.1016/j.jss.2025.112499.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
• A framework for automated verification of automated driving controller safety at code-level. • Use of compositional contracts and bounded model checking for subsystem verification. • A scalable method for verifying neural-network-based controllers. • Effective application to traditional and neural-network adaptive cruise and lane keeping controllers.
Keywords:
Formal verification
Compositional reasoning
Deep neural network verification
Model-based software analysis
Adaptive cruise control
Lane-keeping assist
Automated driving
Journal
IF:
4.1
Papers:
5.5K
Citations:
8.4K
Organization
No organization information available
Cited Papers
ShareSave
ShareSaveShareSaveShareSave6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment.png)
IEEE ACCESS
OAAI
IEEE ACCESSIF3.6
OAAIShareSave
View more