Ikuti
Sanjit A. Seshia
Judul
Dikutip oleh
Dikutip oleh
Tahun
Satisfiability Modulo Theories
C Barrett, R Sebastiani, SA Seshia, C Tinelli
Handbook of Satisfiability 336, 1267-1329, 2021
23412021
Introduction to embedded systems: A cyber-physical systems approach
EA Lee, SA Seshia
MIT press, 2017
21382017
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
11822005
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
10792013
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
10462006
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
6422016
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
4752019
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
443*2019
Active preference-based learning of reward functions
D Sadigh, A Dragan, S Sastry, S Seshia
4412017
Toward verified artificial intelligence
SA Seshia, D Sadigh, SS Sastry
Communications of the ACM 65 (7), 46-55, 2022
4252022
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
3572015
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
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
3342020
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
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
2902019
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
2862013
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
2852019
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
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20