Sastry, Shankar

Secure Control: Towards Survivable Cyber-Physical Systems

Cardenas, A. A., Amin, S., & Sastry, S. (2008) · 2008 The 28th International Conference on Distributed Computing Systems Workshops

Smart Grid Security and ResilienceInformation and Cyber Security

Cited by 911

Attacks against process control systems: risk assessment, detection, and response

Cárdenas, A. A., Amin, S., Lin, Z.-S., Huang, Y.-L., Huang, C.-Y., & Sastry, S. (2011) · Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security

Smart Grid Security and ResilienceIndustrial Automation and Control Systems

Cited by 699

A Taxonomy of Cyber Attacks on SCADA Systems

Zhu, B., Joseph, A., & Sastry, S. (2011) · 2011 International Conference on Internet of Things and 4th International Conference on Cyber, Physical and Social Computing

Smart Grid Security and ResilienceInformation and Cyber Security

Cited by 458

Geometric theory of nonlocal two-qubit operations

Zhang, J., Vala, J., Sastry, S., & Whaley, K. B. (2003) · Physical Review A

Quantum Computing Algorithms and ArchitectureQuantum Information and Cryptography

Cited by 415

Characterization and computation of local Nash equilibria in continuous games

Ratliff, L. J., Burden, S. A., & Sastry, S. S. (2013) · 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton)

Game Theory and ApplicationsOptimization and Variational Analysis

Cited by 223

Toward verified artificial intelligence

Seshia, S. A., Sadigh, D., & Sastry, S. S. (2022) · Communications of the ACM

Formal Methods in VerificationSafety Systems Engineering in Autonomy

Cited by 215

Towards Verified Artificial Intelligence

Seshia, S. A., Sadigh, D., & Sastry, S. S. (2016) · arXiv

Formal Methods in VerificationSafety Systems Engineering in Autonomy

Cited by 142

Surprise-Based Intrinsic Motivation for Deep Reinforcement Learning

Achiam, J., & Sastry, S. (2017) · arXiv

Reinforcement Learning in RoboticsArtificial Intelligence in Games

Cited by 139