Alberto Sangiovanni‐Vincentelli

University of California, Berkeley, Technical University of Munich

Papers

11

Total Citations

300

H-Index

7

About

No biography available yet.

Research Focus

Computer science10 · 284 citations
Artificial intelligence6 · 185 citations
Mathematics5 · 177 citations
Mathematical optimization5 · 177 citations
Satisfiability4 · 171 citations
Discrete mathematics3 · 139 citations
Modulo3 · 139 citations
Theoretical computer science3 · 129 citations
Machine learning4 · 105 citations
Programming language3 · 102 citations
Domain (mathematical analysis)3 · 100 citations
Debugging2 · 97 citations

Key Achievements

7
H-Index
11
Papers
300
Total Citations
27
Avg Citations/Paper
🏆 Most Cited Paper
Scenic: a language for scenario specification and data generation
83 citations · 2022
📈 Most Prolific Year: 2023 (3 Papers)
🤝 Key Collaborators: 31
🏛 Institutions: University of California, Berkeley, Technical University of Munich

Top Papers

  1. 1
    Scenic: a language for scenario specification and data generation
    83 citations · 2022
  2. 2
    SMC: Satisfiability Modulo Convex Programming
    49 citations · 2018
  3. 3
    Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming
    48 citations · 2017
  4. 4
    SMC
    42 citations · 2017
  5. 5
    Scalable lazy SMT-based motion planning
    32 citations · 2016
  6. 6
    ACTUAL ENGAGED GEAR IDENTIFICATION: A HYBRID OBSERVER APPROACH
    16 citations · 2005
  7. 7
    Scenic: A Language for Scenario Specification and Data Generation
    14 citations · 2020
  8. 8
    Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning
    6 citations · 2023
  9. 9
    Contract-Based Specification Refinement and Repair for Mission Planning
    5 citations · 2023
  10. 10
    Symbiotic CPS Design-Space Exploration through Iterated Optimization
    3 citations · 2023

Key Collaborators

SASanjit A. Seshia7 shared papersPNPierluigi Nuzzo5 shared papersPTPaulo Tabuada4 shared papersGJGeorge J. Pappas4 shared papersYSYasser Shoukry4 shared papersDJDaniel J. Fremont3 shared papersSGShromona Ghosh2 shared papersXYXiangyu Yue2 shared papersMCMarco Caccamo2 shared papersMTMirco Theile2 shared papersISIndranil Saha2 shared papersTDTommaso Dreossi2 shared papersIIInigo Incer2 shared papersDBDaniele Bernardini1 shared papersHBHarald Bayerlein1 shared papersABAyça Balkan1 shared papersSYSheng-Jung Yu1 shared papersEVEric Vin1 shared papersGSGabriele Serra1 shared papersEKEdward Kim1 shared papers
Not generated yet