Alberto Sangiovanni-Vincentelli

Identifiers

• name variant Alberto Sangiovanni-Vincentelli 0.60 · backfill

Papers (16)

1. A Formalization of Robustness for Deep Neural Networks cs.LG · 2019 · author #3
2. A tractable ellipsoidal approximation for voltage regulation problems cs.SY · 2019 · author #5
3. A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics cs.RO · 2019 · author #3
4. A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection cs.LG · 2019 · author #5
5. A Metric for Linear Temporal Logic cs.LO · 2018 · author #5
6. Counterexample-Guided Data Augmentation cs.LG · 2018 · author #5
7. Time Series Learning using Monotonic Logical Properties cs.LG · 2018 · author #4
8. Context-Specific Validation of Data-Driven Models cs.SY · 2018 · author #3
9. Systematic Testing of Convolutional Neural Networks for Autonomous Driving cs.CV · 2017 · author #3
10. Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications cs.SY · 2017 · author #4
11. Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements cs.SY · 2017 · author #3
12. Model Predictive Control for Signal Temporal Logic Specification cs.SY · 2017 · author #5
13. Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications cs.SY · 2016 · author #6
14. Flexibility of Commercial Building HVAC Fan as Ancillary Service for Smart Grid cs.SY · 2013 · author #4
15. Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems cs.SY · 2013 · author #4
16. Distributed Estimation over Wireless Sensor Networks with Packet Losses cs.DC · 2008 · author #4

Mentions

• 0810.3715 #4 · backfill · confidence 0.70 Alberto Sangiovanni-Vincentelli

Frequent Coauthors

• Sanjit A. Seshia 9 shared papers
• Shromona Ghosh 8 shared papers
• Pierluigi Nuzzo 3 shared papers
• Tommaso Dreossi 3 shared papers
• Vasumathi Raman 3 shared papers
• Baihong Jin 2 shared papers
• Claire J. Tomlin 2 shared papers
• Marcell Vazquez-Chanlatte 2 shared papers
• Mehdi Maasoumy 2 shared papers
• Somil Bansal 2 shared papers
• Alberto Speranzon 1 shared papers
• Alexandre Donz\'e 1 shared papers
• Alexandre Donze 1 shared papers
• Antonio Iannopollo 1 shared papers
• Baosen Zhang 1 shared papers
• Carlo Fischione 1 shared papers
• Dai Wang 1 shared papers
• Dan Li 1 shared papers
• David Culler 1 shared papers
• Dewei Li 1 shared papers