Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study.

Yuvaraj Selvaraj Wolfgang Ahrendt Martin Fabian

Published in: FMICS (2019)

Keyphrases

autonomous vehicles
decision making
path planning
software development
user interface
decision makers
obstacle avoidance
visual navigation
multiagent systems
formal methods
robot control
lane detection
mobile robot
fuzzy logic
source code
rule base