Login / Signup
Specification Based Testing of Object Detection for Automated Driving Systems via BBSL.
Kento Tanaka
Toshiaki Aoki
Tatsuji Kawai
Takashi Tomita
Daisuke Kawakami
Nobuo Chida
Published in:
ENASE (2023)
Keyphrases
</>
object detection
database
high level
intelligent systems
search based testing
formal methods
human operators
semi automated
multi class
real time
management system
learning systems
complex systems
object recognition
artificial intelligence
databases
scene recognition