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
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