Login / Signup
A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems.
Kento Tanaka
Toshiaki Aoki
Tatsuji Kawai
Takashi Tomita
Daisuke Kavvakami
Nobuo Chida
Published in:
COMPSAC (2022)
Keyphrases
</>
data sets
management system
case study
object oriented
data objects
object model
machine learning
software development
intelligent systems
computer systems
building blocks
learning systems
fully automated
object segmentation