| Satisfiability Modulo Theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of Satisfiability 336, 1267-1329, 2021 | 2283 | 2021 |
| Introduction to embedded systems: A cyber-physical systems approach EA Lee, SA Seshia MIT Press, 2016 | 2132 | 2016 |
| 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 | 1178 | 2005 |
| 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 | 1035 | 2013 |
| 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 | 1024 | 2006 |
| 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 | 665 | 2010 |
| 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 | 639 | 2016 |
| 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 | 450 | 2019 |
| 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 | 429* | 2019 |
| Active preference-based learning of reward functions D Sadigh, A Dragan, S Sastry, S Seshia | 428 | 2017 |
| Toward verified artificial intelligence SA Seshia, D Sadigh, SS Sastry Communications of the ACM 65 (7), 46-55, 2022 | 413 | 2022 |
| 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 | 357 | 2015 |
| Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions RE Bryant, SK Lahiri, SA Seshia Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 341 | 2002 |
| 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 | 326 | 2017 |
| 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 | 310 | 2020 |
| 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 | 292 | 2019 |
| 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 | 287 | 2019 |
| 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 | 285 | 2013 |
| 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 | 276 | 2018 |
| 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 | 246 | 2016 |
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyПодтвержден адрес электронной почты в домене eecs.berkeley.edu
Randal BryantCarnegie Mellon UniversityПодтвержден адрес электронной почты в домене cs.cmu.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalПодтвержден адрес электронной почты в домене sri.com
Wenchao LiAssociate Professor, Boston UniversityПодтвержден адрес электронной почты в домене bu.edu
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaПодтвержден адрес электронной почты в домене seas.upenn.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchПодтвержден адрес электронной почты в домене microsoft.com
Shaz QadeerMicrosoftПодтвержден адрес электронной почты в домене microsoft.com
Natarajan ShankarSRI International Computer Science LaboratoryПодтвержден адрес электронной почты в домене csl.sri.com
Ofer StrichmanTechnion, Haifa, IsraelПодтвержден адрес электронной почты в домене ie.technion.ac.il
Daniel HolcombAssociate Professor, University of MassachusettsПодтвержден адрес электронной почты в домене engin.umass.edu
David WagnerProfessor of Computer Science, UC BerkeleyПодтвержден адрес электронной почты в домене cs.berkeley.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityПодтвержден адрес электронной почты в домене cs.huji.ac.il
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaПодтвержден адрес электронной почты в домене sssup.it
Petros ManiatisStaff Research Scientist, GoogleПодтвержден адрес электронной почты в домене google.com
Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaПодтвержден адрес электронной почты в домене umn.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignПодтвержден адрес электронной почты в домене illinois.edu
