Nenchev, Vladislav:
Preview-aware safety verification of neural tracking controllers for dynamical systems
, Springer
. In: International Journal of Dynamics and Control,
2026

Zeitschriftenartikel / Journal Article

Pan, Junnan; Mansharamani, Mohak; Sotiriadis, Prodromos; Nenchev, Vladislav; Englberger, Ferdinand:
Enhancing Functional Reliability of Autonomous Vehicle Safety Monitoring in Curves
. In: Proceedings of the 12th International Conference on Vehicle Technology and Intelligent Transport Systems,
2026

Konferenzband / Conference Publication

Sprang, Florian; Hanschmann, Alexander; Korb, Matthias; Latzel, Thomas:
An Open-Source Multi-Tenant FPGA Framework for Small Cloud-Like Environments
2026

Konferenzbeitrag / Conference Paper

Leon Greiser; Christian Rathgeber; Vladislav Nenchev; Sören Hohmann:
Parameter Tuning Under Uncertain Road Perception in Driver Assistance Systems
. In: IFAC-PapersOnLine,
59.
2025
, 26
. - p. 329-334

Zeitschriftenartikel / Journal Article

Nenchev, Vladislav; Imrie, Calum: Gerasimou, Simos; Calinescu, Radu :
Compositional code-level safety verification for automated driving controllers
. In: Journal of Systems and Software,
2025
. - p. 112499

Zeitschriftenartikel / Journal Article

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
. - p. 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
. - p. 57-62

Zeitschriftenartikel / Journal Article