Picture for Alberto Sangiovanni-Vincentelli

Alberto Sangiovanni-Vincentelli

Generating Probabilistic Scenario Programs from Natural Language

Add code
May 03, 2024
Viaarxiv icon

Beating Backdoor Attack at Its Own Game

Add code
Aug 04, 2023
Figure 1 for Beating Backdoor Attack at Its Own Game
Figure 2 for Beating Backdoor Attack at Its Own Game
Figure 3 for Beating Backdoor Attack at Its Own Game
Figure 4 for Beating Backdoor Attack at Its Own Game
Viaarxiv icon

A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies

Feb 27, 2023
Figure 1 for A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
Viaarxiv icon

Contract-Based Specification Refinement and Repair for Mission Planning

Nov 21, 2022
Figure 1 for Contract-Based Specification Refinement and Repair for Mission Planning
Figure 2 for Contract-Based Specification Refinement and Repair for Mission Planning
Viaarxiv icon

Querying Labelled Data with Scenario Programs for Sim-to-Real Validation

Dec 01, 2021
Figure 1 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Figure 2 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Figure 3 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Figure 4 for Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
Viaarxiv icon

Class-wise Thresholding for Detecting Out-of-Distribution Data

Nov 24, 2021
Figure 1 for Class-wise Thresholding for Detecting Out-of-Distribution Data
Figure 2 for Class-wise Thresholding for Detecting Out-of-Distribution Data
Figure 3 for Class-wise Thresholding for Detecting Out-of-Distribution Data
Figure 4 for Class-wise Thresholding for Detecting Out-of-Distribution Data
Viaarxiv icon

Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data

Sep 14, 2021
Figure 1 for Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data
Figure 2 for Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data
Figure 3 for Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data
Figure 4 for Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data
Viaarxiv icon

A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions

Add code
Apr 12, 2021
Figure 1 for A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions
Figure 2 for A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions
Figure 3 for A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions
Figure 4 for A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions
Viaarxiv icon

A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving

Nov 30, 2020
Figure 1 for A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving
Figure 2 for A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving
Figure 3 for A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving
Viaarxiv icon

Augmenting Monte Carlo Dropout Classification Models with Unsupervised Learning Tasks for Detecting and Diagnosing Out-of-Distribution Faults

Sep 10, 2019
Figure 1 for Augmenting Monte Carlo Dropout Classification Models with Unsupervised Learning Tasks for Detecting and Diagnosing Out-of-Distribution Faults
Figure 2 for Augmenting Monte Carlo Dropout Classification Models with Unsupervised Learning Tasks for Detecting and Diagnosing Out-of-Distribution Faults
Figure 3 for Augmenting Monte Carlo Dropout Classification Models with Unsupervised Learning Tasks for Detecting and Diagnosing Out-of-Distribution Faults
Figure 4 for Augmenting Monte Carlo Dropout Classification Models with Unsupervised Learning Tasks for Detecting and Diagnosing Out-of-Distribution Faults
Viaarxiv icon