CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The project focuses on creating a certifiable Automatic Lane Change capability for autonomous vehicles. By employing formal methods, it aims to generate safe and reliable software for lane changes, improving road safety and reducing the need for extensive mileage validation.
Autonomous driving keeps advancing, yet one obstacle persists: building lane-level behaviors whose software is provably safe.
In current practice, requirements are written in natural language, interpreted inconsistently, and implemented with ad-hoc heuristics.
Human error and limited test coverage leave edge cases unaddressed, while mileage-heavy validation is slow and costly.
The result is fragile behavior and eroded public trust.
Building on our research project AutoCPS, we will turn correct-b…
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
