FORESEEN: FORmal mEthodS for attack dEtEction in autonomous driviNg systems

Project
FORESEEN: FORmal mEthodS for attack dEtEction in autonomous driviNg systems

Overview

Contributors

QUADRI CHRISTIAN   Scientific Manager  

Departments involved

Type

Progetti PNRR - Fondo per il Programma di Ricerca di Rilevante Interesse Nazionale - PRIN 2022

Funder

MINISTERO DELL'UNIVERSITA' E DELLA RICERCA
External Organization Funding Organization

Date/time interval

November 30, 2023 - February 28, 2026

Project duration

27 months

Publications

Outputs (4)

DNN-Controlled Multi-Technology Platooning 
IEEE VEHICULAR NETWORKING CONFERENCE
IEEE
2025
Conference Paper
Reserved Access
Altmetric is disabled. Enable it on "Use of Cookies"
Impact of Network Delays on Edge-Assisted Platooning Systems in 5G Networks: Addressing Latency Challenges 
LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING
SPRINGER
2025
Conference Paper
Reserved Access
Altmetric is disabled. Enable it on "Use of Cookies"
Statistical Model Checking for the Analysis of Attacks in Connected Autonomous Vehicles 
IEEE
2025
Conference Paper
Partially Open Access
Altmetric is disabled. Enable it on "Use of Cookies"
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project 
INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS
2024
Conference Paper
Reserved Access
Altmetric is disabled. Enable it on "Use of Cookies"