Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox
Picture for Alberto Sangiovanni-Vincentelli

Alberto Sangiovanni-Vincentelli
Alert button

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


Feb 27, 2023
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto Sangiovanni-Vincentelli

Add code
Alert button

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

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Contract-Based Specification Refinement and Repair for Mission Planning


Nov 21, 2022
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli

Add code
Alert button

Figure 1 for Contract-Based Specification Refinement and Repair for Mission Planning
Figure 2 for Contract-Based Specification Refinement and Repair for Mission Planning

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


Dec 01, 2021
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel Fremont, Alberto Sangiovanni-Vincentelli, Sanjit Seshia

Add code
Alert button

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
* pre-print 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


Nov 24, 2021
Matteo Guarrera, Baihong Jin, Tung-Wei Lin, Maria Zuluaga, Yuxin Chen, Alberto Sangiovanni-Vincentelli

Add code
Alert button

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
* 12 pages, 7 figures, 7 tables 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


Sep 14, 2021
Hari Prasanna Das, Ryan Tran, Japjot Singh, Xiangyu Yue, Geoff Tison, Alberto Sangiovanni-Vincentelli, Costas J. Spanos

Add code
Alert button

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

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


Apr 12, 2021
Corvin Deboeser, Jordan Ivanchev, Thomas Braud, Alois Knoll, David Eckhoff, Alberto Sangiovanni-Vincentelli

Add code
Alert button

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

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


Nov 30, 2020
Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel Fremont, Alberto Sangiovanni-Vincentelli, Sanjit Seshia

Add code
Alert button

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

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

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


Sep 10, 2019
Baihong Jin, Yingshui Tan, Yuxin Chen, Alberto Sangiovanni-Vincentelli

Add code
Alert button

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

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization without Accessing Target Domain Data


Sep 02, 2019
Xiangyu Yue, Yang Zhang, Sicheng Zhao, Alberto Sangiovanni-Vincentelli, Kurt Keutzer, Boqing Gong

Add code
Alert button

Figure 1 for Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization without Accessing Target Domain Data
Figure 2 for Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization without Accessing Target Domain Data
Figure 3 for Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization without Accessing Target Domain Data
Figure 4 for Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization without Accessing Target Domain Data

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
>>