A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems

2021 ◽  
Vol 36 (6) ◽  
pp. 1231-1247
Author(s):  
Jingwen Xu ◽  
Yanhong Huang ◽  
Jianqi Shi ◽  
Shengchao Qin
2011 ◽  
Author(s):  
Elisa Jayne Bienenstock ◽  
Allison Astorino-Courtois

2020 ◽  
Vol 59 (1) ◽  
pp. 123-141
Author(s):  
V. V. Rybakov
Keyword(s):  

2014 ◽  
Vol 2 ◽  
pp. 471-474
Author(s):  
Takashi TOYOFUKU ◽  
Kunihiko MITSUBORI

2014 ◽  
Vol 134 (10) ◽  
pp. 1515-1523
Author(s):  
Akihiro Ogawa ◽  
Kazunari Maki ◽  
Kiyoshi Hata ◽  
Yasunori Takeuchi ◽  
Fumio Ishikawa

Sign in / Sign up

Export Citation Format

Share Document