Benefits of Behavior Driven Development in Scenario-based Verification of Automated Driving.

Christoph Lauer Christoph Sippl

Published in: ITSC (2022)

Keyphrases

information retrieval
software engineering
development process
case study
data driven
neural network
semi automated
model checking
decision support
computer vision
artificial intelligence
information processing
life cycle
genetic algorithm
development environment
databases
formal verification
behavior patterns