Sanjit A. Seshia

Affiliations: 
Electrical Engineering and Computer Science University of California, Berkeley, Berkeley, CA 
Area:
Design, Modeling and Analysis (DMA); Programming Systems (PS); Dependable Computing; Computational Logic; Formal Methods; Control, Intelligent Systems, and Robotics (CIR); Security (SEC); Theory (THY)
Google:
"Sanjit Seshia"
Cross-listing: Robotree

Children

Sign in to add trainee
Ankush Desai grad student UC Berkeley (Computer Science Tree)
Bryan Brady grad student 2011 UC Berkeley
Susmit K. Jha grad student 2011 UC Berkeley
Daniel E. Holcomb grad student 2013 UC Berkeley
Wenchao Li grad student 2013 UC Berkeley
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Zhao S, Yue X, Zhang S, et al. (2020) A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. Ieee Transactions On Neural Networks and Learning Systems
Kapinski J, Jin X, Deshmukh J, et al. (2016) ST-Lib: A Library for Specifying and Classifying Model Behaviors Sae Technical Papers. 2016
Sinha R, Costa M, Lal A, et al. (2016) A design and verification methodology for secure isolated regions Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 13: 665-681
Ghosh S, Sadigh D, Nuzzo P, et al. (2016) Diagnosis and repair for synthesis from signal temporal logic specifications Hscc 2016 - Proceedings of the 19th International Conference On Hybrid Systems: Computation and Control. 31-40
Akkaya I, Fremont DJ, Valle R, et al. (2016) Control improvisation with Probabilistic temporal specifications Proceedings - 2016 Ieee 1st International Conference On Internet-of-Things Design and Implementation, Iotdi 2016. 187-198
Shoukry Y, Chong M, Wakaiki M, et al. (2016) SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks 2016 Acm/Ieee 7th International Conference On Cyber-Physical Systems, Iccps 2016 - Proceedings
Saha I, Ramaithitima R, Kumar V, et al. (2016) Implan: Scalable Incremental Motion Planning for Multi-Robot Systems 2016 Acm/Ieee 7th International Conference On Cyber-Physical Systems, Iccps 2016 - Proceedings
Kim ES, Arcak M, Seshia SA. (2016) Compositional controller synthesis for vehicular traffic networks Proceedings of the Ieee Conference On Decision and Control. 2016: 6165-6171
Shoukry Y, Nuzzo P, Bezzo N, et al. (2016) Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving Proceedings of the Ieee Conference On Decision and Control. 2016: 3804-3809
Gurfinkel A, Seshia SA. (2016) Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9593
See more...