Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Ensuring European ECS Value Chain Sovereignty through Shaping the Future of ECS for Automotive Applications

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Open Challenges in the Formal Verification of Autonomous Driving (opens in new window)

Author(s): Paolo Burgio; Angelo Ferrando; Marco Villani
Published in: Electronic Proceedings in Theoretical Computer Science, 2024, ISSN 2075-2180
Publisher: MDPI
DOI: 10.48550/ARXIV.2411.14520

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0