Set-based computation of vehicle behaviors for the online verification of autonomous vehicles
Matthias Althoff
◽
John M. Dolan
Christian Pek
◽
Matthias Althoff
2020 ◽
Vol 2
(9)
◽
pp. 518-528
Christian Pek
◽
Stefanie Manzinger
◽
Markus Koschi
◽
Matthias Althoff
Tim Stahl
◽
Matthis Eicher
◽
Johannes Betz
◽
Frank Diermeyer
Junyi Chen
◽
Rubing Li
◽
Xingyu Xing
◽
Lu Xiong
Rong-Han Yao
◽
Meng Long
◽
Wen-Yan Qi
Joseph G. Walters
◽
Xiaolin Meng
◽
Chang Xu
◽
Hao (Julia) Jing
◽
Stuart Marsh
2020 ◽
Vol E103.A
(1)
◽
pp. 252-264
Abraham MONRROY CANO
◽
Eijiro TAKEUCHI
◽
Shinpei KATO
◽
Masato EDAHIRO
2018 ◽
Vol 2018
(17)
◽
pp. 105-1-105-10
◽