Formal Verification of Safety Architectures for Automated Driving.
Clovis EberhartJérémy DubutJames HaydonIchiro HasuoPublished in: CoRR (2023)
Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- semi automated
- intelligent vehicles
- fully automated
- traffic accidents
- artificial intelligence
- driving behavior
- traffic safety
- temporal logic
- real time
- program slicing
- fuel consumption
- road safety
- domain specific