Publikationen Vladislav Nenchev

Publikationen

Weitere Publikationen

Challenges and remedies for developing safe automated driving functions (Blog-Beitrag, 2024)

Eingeladene Vorträge

  • 2026-07: Formal Monitoring of Autonomous Robot Behavior, IMES, Leibniz Universität Hannover.
  • 2026-07: Monitoring Autonomous Robot Behavior, Institut für Flugsystemtechnik, DLR, Braunschweig.

  • 2025-04: Code-level Safety and Portability Checking for Automated Driving Formal methods Seminar, FBK, IT.

  • 2025-03: Ensuring Safety and Portability in Automated Driving: A Code-Level Verification Approach, Robostar Seminar series, University of York, UK.

  • 2024-11: Code-level safety verification for automated driving, TASP Seminar, University of York, UK.