Nenchev, Vladislav:
Optimal control of mobile robots in partially unknown environments
, Berlin
2018

Dissertation / Thesis

Nenchev, Vladislav; Imrie, Calum; Gerasimou, Simos; Calinescu, Radu:
Code-level Safety Verification for Automated Driving: A Case Study
, Cham
, Springer
. In: Formal Methods,
2024
. - S. 356-372

Konferenzbeitrag / Conference Paper

Pan, Junnan; Sotiriadis, Prodromos; Englberger, Ferdinand:
Collision Avoidance of Autonomous Driving at Low Speed in the Near Field of Vehicle
. In: International Journal of Emerging Engineering and Technology (IJEET),
2.
2023
, 1
. - S. 57-62

Zeitschriftenartikel / Journal Article