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

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


   Access Paper or Ask Questions

Contract-Based Specification Refinement and Repair for Mission Planning


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

Add code


   Access Paper or Ask Questions

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

* pre-print 

   Access Paper or Ask Questions

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

* 12 pages, 7 figures, 7 tables 

   Access Paper or Ask Questions

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


   Access Paper or Ask Questions

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


   Access Paper or Ask Questions

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


   Access Paper or Ask Questions

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


   Access Paper or Ask Questions

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


   Access Paper or Ask Questions

1
2
>>