CNR-IEIIT organizza una serie di seminari con frequenza bisettimanale denominata "Incontri del giovedì" in cui vengono affrontate con il supporto di relatori di rilievo nell'ambito della ricerca scientifica, accademica ed industriale le tematiche caratterizzanti l'Istituto stesso, con una visione trasversale ai domini applicativi ed agli ambiti tecnologici ed uno sguardo rivolto alla loro evoluzione.
Il seminario si è svolto giovedì 10 Giugno 2021 alle ore 17:30 sulla piattaforma Microsoft Teams
Link all'evento registrato:
Relatore : Prof. Alberto L. Sangiovanni-Vincentelli (UC Berkeley)
Titolo:
“Safety in Autonomous Driving: Can Tools Offer Guarantees?”
Abstract:
It is my opinion that safety of autonomous vehicles should be guaranteed against reasonably complete scenarios. To do so, we need to develop tools that can formally analyze the behavior of ML-based decision making in the context of autonomous vehicles and design for safety. Formal analysis cannot be performed without a mathematically-sound set of specifications and system characterization including the environment in which the system operates.
In this presentation, I advocate the use of formal methods and software tools to address the safety challenges described above. I will discuss four important areas:
- formalisms for modeling the environments of Autonomous Vehicles (AVs) and capturing the specifications and contracts they must satisfy;
- novel and scalable approaches to the verification and testing of AVs and Assisted Driving Systems (ADS) and in particular, SCENIC, a scenario-generation tool;
- tools and techniques for synthesis of AV components, control strategies, etc., including synthesis of models, data, controllers, and implementations;
- techniques for runtime assurance, including runtime monitors, minimal risk maneuvers, and techniques for control in semi-autonomous systems.
Tutti gli incontri del giovedi possono essere seguiti sul canale You Tube : https://www.youtube.com/channel/UCD_UaHyhpLk5_jDKbAKS0XA