Daisuke Kavvakami

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Building Blocks

Fully Automated

Top Venues

Publications

Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kavvakami, Nobuo Chida
A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems. COMPSAC (2022)