Can we build it: formal synthesis of control strategies for cooperative driver assistance systems.
Werner DammHans-Jörg PeterJan-Hendrik RakowBernd WestphalPublished in: Math. Struct. Comput. Sci. (2013)
Keyphrases
- control strategies
- driver assistance systems
- cooperative
- control strategy
- control system
- traffic management
- vehicle detection
- computer vision
- semi global matching
- reinforcement learning
- genetic algorithm
- human centric
- intelligent vehicles
- real time
- mathematical models
- multi agent systems
- artificial intelligence
- cellular phone
- computational model
- detection algorithm
- multi agent
- neural network