Nenchev, Vladislav: Optimal control of mobile robots in partially unknown environments, Berlin 2018Dissertation / 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. - p. 356-372Konferenzbeitrag / 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. - p. 57-62Zeitschriftenartikel / Journal Article