Specification Based Testing of Object Detection for Automated Driving Systems via BBSL.

Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida

Browse the full ENASE paper archive.