Alberto Sangiovanni‐Vincentelli

University of California, Berkeley, Technical University of Munich

论文数

11

总引用数

300

H-Index

7

关于

暂无简介。

研究焦点

Computer science10 · 284 次引用

Artificial intelligence6 · 185 次引用

Mathematics5 · 177 次引用

Mathematical optimization5 · 177 次引用

Satisfiability4 · 171 次引用

Discrete mathematics3 · 139 次引用

Modulo3 · 139 次引用

Theoretical computer science3 · 129 次引用

Machine learning4 · 105 次引用

Programming language3 · 102 次引用

Domain (mathematical analysis)3 · 100 次引用

Debugging2 · 97 次引用

主要成就

7

H 指数

11

论文

300

总引用数

27

篇均引用

🏆 最高被引论文

Scenic: a language for scenario specification and data generation

83 次引用 · 2022

📈 最高产年份: 2023 (3 论文)

🤝 主要合作者: 31

🏛 所属机构: University of California, Berkeley, Technical University of Munich

代表论文

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

尚未生成