引用次数
引用: 23,928
H-指数: 73
I10-指数 : 197
出版物: 473
Introduction to Embedded Systems - A Cyber-Physical Systems Approach
Edward Ashford Lee , Sanjit A Seshia
1,648
2013
Toward verified artificial intelligence
Sanjit A Seshia , Dorsa Sadigh , S Shankar Sastry
Communications of the ACM 65 ( 7) 46 -55
360
2022
Distributed real-time software for cyber–physical systems
John C Eidson , Edward A Lee , Slobodan Matic , Sanjit A Seshia
Proceedings of the IEEE 100 ( 1) 45 -59
215
2011
A contract-based methodology for aircraft electric power system design
Pierluigi Nuzzo , Huan Xu , Necmiye Ozay , John B Finn
IEEE Access 2 1 -25
182
2013
Constrained sampling and counting: Universal hashing meets SAT solving
Kuldeep S Meel , Moshe Y Vardi , Supratik Chakraborty , Daniel J Fremont
Workshops at the thirtieth AAAI conference on artificial intelligence
76
2016
Automatic Discovery ofAPI-Level Exploits
Vinod Ganapathy , Sanjit A Seshia , Somesh Jha , Thomas W Reps
1
2005
Introduction to embedded systems-a cyber-physical systems approach, 2011
Edward A Lee , Sanjit A Seshia
Lulu. com
51
Sound and complete state estimation for linear dynamical systems under sensor attacks using satisfiability modulo theory solving
Yasser Shoukry , Alberto Puggelli , Pierluigi Nuzzo , Alberto L Sangiovanni-Vincentelli
2015 American Control Conference (ACC) 3818 -3823
41
2015
Control improvisation
Daniel J Fremont , Alexandre Donzé , Sanjit A Seshia , David Wessel
arXiv preprint arXiv:1704.06319
36
2017
The terraswarm research center (TSRC)(a white paper)
Edward A Lee , John D Kubiatowicz , Jan M Rabaey , Alberto L Sangiovanni-Vincentelli
EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2012-207
33
2012
Time-centric models for designing embedded cyber-physical systems
John C Eidson , Edward A Lee , Slobodan Matic , Sanjit A Seshia
University of California, Berkeley, Technical Memorandum. UCB/EECS-2009-135
32
2009
Adaptive eager boolean encoding for arithmetic reasoning in verification
Sanjit A Seshia
Carnegie Mellon University
32
2005
Algorithms for green buildings: Learning-based techniques for energy prediction and fault diagnosis
Daniel Holcomb , Wenchao Li , Sanjit A Seshia
Google Scholar, UCB/EECS-2009-138
31
2009
Deciding CLU logic formulas via Boolean and pseudo-Boolean encodings
Randal E Bryant , Shuvendu K Lahiri , Sanjit A Seshia
Proc. Intl. Workshop on Constraints in Formal Verification (CFV’02)
31
2002
Stochastic predictive freeway ramp metering from signal temporal logic specifications
Negar Mehr , Dorsa Sadigh , Roberto Horowitz , S Shankar Sastry
2017 American Control Conference (ACC) 4884 -4889
30
2017
Virtualizing cyber-physical systems: Bringing CPS to online education
Jeff C Jensen , Edward A Lee , Sanjit A Seshia
Proc. First Workshop on CPS Education (CPS-Ed)
30
2013
Control improvisation with application to music
Alexandre Donzé , Sophie Libkind , Sanjit A Seshia , David Wessel
EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2013-183
29
2013
Verifying RISC-V physical memory protection
Kevin Cheang , Cameron Rasmussen , Dayeol Lee , David W Kohlbrenner
arXiv preprint arXiv:2211.02179
22
2022
Addressing the ieee av test challenge with scenic and verifai
Kesav Viswanadha , Francis Indaheng , Justin Wong , Edward Kim
2021 IEEE International Conference on Artificial Intelligence Testing (AITest) 136 -142
19
2021
Introduction to Embedded Systems
Edward A Lee , Sanjit A Seshia
A Cyber-Physical
19
2014