Sanjit A. Seshia

University of California, Berkeley, Stanford University, Berkeley College, University of California System

论文数

32

总引用数

3,072

H-Index

18

关于

暂无简介。

研究焦点

Computer science32 · 3,072 次引用

Human–computer interaction9 · 2,142 次引用

Artificial intelligence23 · 1,497 次引用

Engineering7 · 1,399 次引用

Embedded system6 · 1,350 次引用

Software engineering8 · 1,290 次引用

Software4 · 1,272 次引用

Construct (python library)3 · 1,193 次引用

Multimedia2 · 1,186 次引用

Computer security2 · 1,185 次引用

Focus (optics)1 · 1,179 次引用

Cyber-physical system1 · 1,179 次引用

主要成就

18

H 指数

32

论文

3,072

总引用数

96

篇均引用

🏆 最高被引论文

Introduction to Embedded Systems - A Cyber-Physical Systems Approach

1,179 次引用 · 2013

📈 最高产年份: 2017 (6 论文)

🤝 主要合作者: 52

🏛 所属机构: University of California, Berkeley, Stanford University, Berkeley College, University of California System

代表论文

1
Introduction to Embedded Systems - A Cyber-Physical Systems Approach
1,179 次引用 · 2013
2
Planning for Autonomous Cars that Leverage Effects on Human Actions
425 次引用 · 2016
3
Active Preference-Based Learning of Reward Functions
259 次引用 · 2017
4
Planning for cars that coordinate with people: leveraging effects on human actions for planning and active information gathering over human internal state
180 次引用 · 2018
5
Information gathering actions over human internal state
165 次引用 · 2016
6
Automated composition of motion primitives for multi-robot systems from safe LTL specifications
127 次引用 · 2014
7
Mining assumptions for synthesis
102 次引用 · 2011
8
Scenic: a language for scenario specification and data generation
83 次引用 · 2022
9
Combining Model Checking and Runtime Verification for Safe Robotics
75 次引用 · 2017
10
DRONA
73 次引用 · 2017

尚未生成