עקוב אחר
Sanjit A. Seshia
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
כתובת אימייל מאומתת בדומיין eecs.berkeley.edu - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Satisfiability Modulo Theories‏
C Barrett, R Sebastiani, SA Seshia, C Tinelli‏
Handbook of Satisfiability 336, 1267-1329, 2021‏
23352021
Introduction to embedded systems: A cyber-physical systems approach‏
EA Lee, SA Seshia‏
MIT press, 2017‏
21332017
Semantics-aware malware detection‏
M Christodorescu, S Jha, SA Seshia, D Song, RE Bryant‏
2005 IEEE symposium on security and privacy (S&P'05), 32-46, 2005‏
11812005
Syntax-guided synthesis‏
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...‏
2013 Formal Methods in Computer-Aided Design, 1-8, 2013‏
10782013
Combinatorial sketching for finite programs‏
A Solar-Lezama, L Tancau, R Bodik, S Seshia, V Saraswat‏
Proceedings of the 12th international conference on Architectural support …, 2006‏
10452006
Oracle-guided component-based program synthesis‏
S Jha, S Gulwani, SA Seshia, A Tiwari‏
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010‏
6702010
Planning for autonomous cars that leverage effects on human actions.‏
D Sadigh, S Sastry, SA Seshia, AD Dragan‏
Robotics: Science and systems 2, 1-9, 2016‏
6392016
On the utility of learning about humans for human-ai coordination‏
M Carroll, R Shah, MK Ho, T Griffiths, S Seshia, P Abbeel, A Dragan‏
Advances in neural information processing systems 32, 2019‏
4712019
Scenic: a language for scenario specification and scene generation‏
DJ Fremont, T Dreossi, S Ghosh, X Yue, AL Sangiovanni-Vincentelli, ...‏
Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019‏
442*2019
Active preference-based learning of reward functions‏
D Sadigh, A Dragan, S Sastry, S Seshia‏
4392017
Toward verified artificial intelligence‏
SA Seshia, D Sadigh, SS Sastry‏
Communications of the ACM 65 (7), 46-55, 2022‏
4232022
Reactive synthesis from signal temporal logic specifications‏
V Raman, A Donzé, D Sadigh, RM Murray, SA Seshia‏
Proceedings of the 18th international conference on hybrid systems …, 2015‏
3562015
Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions‏
RE Bryant, SK Lahiri, SA Seshia‏
International Conference on Computer Aided Verification, 78-92, 2002‏
3422002
Secure state estimation for cyber-physical systems under sensor attacks: A satisfiability modulo theory approach‏
Y Shoukry, P Nuzzo, A Puggelli, AL Sangiovanni-Vincentelli, SA Seshia, ...‏
IEEE Transactions on Automatic Control 62 (10), 4917-4932, 2017‏
3322017
A review of single-source deep unsupervised visual domain adaptation‏
S Zhao, X Yue, S Zhang, B Li, H Zhao, B Wu, R Krishna, JE Gonzalez, ...‏
IEEE Transactions on Neural Networks and Learning Systems 33 (2), 473-493, 2020‏
3302020
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems‏
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ...‏
International Conference on Computer Aided Verification, 432-442, 2019‏
2892019
Mining requirements from closed-loop control models‏
X Jin, A Donzé, JV Deshmukh, SA Seshia‏
Proceedings of the 16th international conference on Hybrid systems …, 2013‏
2852013
Compositional falsification of cyber-physical systems with machine learning components‏
T Dreossi, A Donzé, SA Seshia‏
Journal of Automated Reasoning 63 (4), 1031-1053, 2019‏
2842019
A lidar point cloud generator: from a virtual world to autonomous driving‏
X Yue, B Wu, SA Seshia, K Keutzer, AL Sangiovanni-Vincentelli‏
Proceedings of the 2018 ACM on international conference on multimedia …, 2018‏
2762018
Information gathering actions over human internal state‏
D Sadigh, SS Sastry, SA Seshia, A Dragan‏
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016‏
2472016
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20