Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles.
Mohammed Al-NuaimiSapto WibowoHongyang QuJonathan M. AitkenSandor M. VeresPublished in: J. Sens. Actuator Networks (2021)
Keyphrases
- decision making
- driving simulator
- dangerous situations
- traffic accidents
- real time
- decision makers
- data mining
- decision support
- car navigation
- intelligent transport systems
- driver assistance systems
- traffic flow
- decision support system
- hybrid approaches
- influence diagrams
- intelligent vehicles
- reinforcement learning
- knowledge management
- model checking
- vehicle detection
- formal methods
- decision process
- unmanned aerial vehicles
- formal verification
- autonomous driving
- situation awareness
- functional verification
- group decision making