A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems.

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

Browse the full COMPSAC paper archive.