Formal Verification of Intersection Safety for Automated Driving.
James HaydonMartin BonduClovis EberhartJérémy DubutIchiro HasuoPublished in: ITSC (2023)
Keyphrases
- formal verification
- model checking
- automated verification
- intelligent vehicles
- model checker
- bounded model checking
- traffic accidents
- symbolic model checking
- semi automated
- program slicing
- temporal logic
- formal methods
- driving simulator
- multi agent systems
- driving behavior
- traffic safety
- fully automated
- rough sets
- knowledge representation