Towards Verified Artificial Intelligence Sanjit A. Seshia, Dorsa Sadigh, and S. Shankar Sastry University of California, Berkeley {sseshia,dsadigh,sastry}@eecs.berkeley.edu arXiv:1606.08514v2 [cs.AI] 2 Jul 2016

Source URL: arxiv.org

Towards Trustworthy Automation: User Interfaces that Convey Internal and External Awareness Tara Rezvani, Katherine Driggs-Campbell, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia, and Ruzena Bajcsy Abstract— Suppos

Source URL: dorsa.fyi

Pragmatic-Pedagogic Value Alignment Jaime F. Fisac, Monica A. Gates, Jessica B. Hamrick, Chang Liu, Dylan Hadfield-Menell, Malayandi Palaniappan, Dhruv Malik, S. Shankar Sastry, Thomas L. Griffiths, and Anca D. Dragan A

Source URL: people.eecs.berkeley.edu

S. Shankar Sastry Dean and Roy W. Carlson Professor of Engineering, Director of the Blum Center for Developing Economies. Professor of Electrical Engineering & Computer Sciences, Bioengineering

Source URL: robotics.eecs.berkeley.edu

Forefront COLLEGE OF ENGINEERING U N I V E R S I T Y O F C A L I F O R N I A , B E R K E LE Y

Source URL: engineering.berkeley.edu

• California
• University of California
• Berkeley
• Paul K. Wright
• Center for Information Technology Research in the Interest of Society
• UC Berkeley College of Engineering
• S. Shankar Sastry
• A. Richard Newton
• High-occupancy vehicle lane

Compressive Phase Retrieval via Lifting Henrik Ohlsson†,* , Allen Y. Yang* , Roy Dong* , and S. Shankar Sastry* † Div. of Automatic Control, Department of Electrical Engineering, Link¨oping University, Sweden. Depar

Source URL: snowbird.djvuzone.org

Bio-inspired design and dynamic maneuverability of a minimally actuated six-legged robot Aaron M. Hoover † , Samuel Burden‡ , Xiao-Yu Fu∗ , S. Shankar Sastry‡ , and R. S. Fearing‡ Abstract— Rapidly running ar

Source URL: robotics.eecs.berkeley.edu

Model-based design for safe UAV landing Jonathan Sprinkle J. Mikael Eklund S. Shankar Sastry

Source URL: chess.eecs.berkeley.edu

Attacks and Defenses of Ubiquitous Sensor Networks S. Shankar Sastry Tanya Gazelle Roosta Electrical Engineering and Computer Sciences

Source URL: www.eecs.berkeley.edu

• Computing
• Sensor node
• Telecommunications engineering
• Wireless sensor network
• Technology
• Wireless networking

Informative Feature Selection for Object Recognition via Sparse PCA∗ Nikhil Naikal, Allen Y. Yang, and S. Shankar Sastry Department of EECS, University of California, Berkeley {nnaikal, yang, sastry}@eecs.berkeley.edu

Source URL: www.eecs.berkeley.edu

• Mathematics
• Singular value decomposition
• Data analysis
• Computer vision
• Principal component analysis
• Eigenvalues and eigenvectors
• Object recognition
• Bundle adjustment
• Matrix
• Statistics
• Algebra
• Multivariate statistics