Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems.
Fahad AlotaibiThai Son HoangAsieh Salehi FathabadiMichael J. ButlerPublished in: ABZ (2024)
Keyphrases
- intelligent vehicles
- knowledge based systems
- case study
- driver assistance systems
- enabling technologies
- software engineering
- event detection
- historical perspective
- technical issues
- design tools
- development process
- news articles
- neural network
- complex systems
- distributed systems
- management system
- expert systems
- artificial intelligence