Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be

Source URL: dream.inf.ed.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Propositional calculus
• Logic in computer science
• Logical truth
• Linear temporal logic
• First-order logic
• Well-formed formula
• Interpretation
• Intuitionistic logic

Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Mathematical logic
• Mathematics
• Boolean algebra
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Propositional calculus
• Model checking

White House Summit on Behavioral-Science Insights September 15, 2016 | 1:00 PM – 3:30 PM Eisenhower Executive Office Building, South Court Auditorium Welcome Maya Shankar, Assistant Director for Behavioral Science, Off

Source URL: sbst.gov

• Fellows of the American Association for the Advancement of Science
• Science and technology in the United States
• Executive Office of the President of the United States
• Maya Shankar
• Office of Science and Technology Policy
• Social and Behavioral Sciences Team
• John Holdren
• Cass Sunstein
• United States
• Harvard University
• Philip Rubin

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

TO: Shri Ravi Shankar Prasad Minister of Communications and Information Technology Subject: Comments on the Department of Telecommunications Committee Report on Net

Source URL: blog.mozilla.org

1 Flapping Flight for Biomimetic Robotic Insects: Part I—System Modeling Xinyan Deng, Luca Schenato, Wei Chung Wu, and Shankar Sastry

Source URL: automatica.dei.unipd.it

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

Generalized Principal Component Analysis (GPCA)∗ Ren´e Vidal† Yi Ma‡ Shankar Sastry† † Department of EECS, University of California, Berkeley, CA 94720

Source URL: www.cis.jhu.edu

1 Distributed Control Applications Within Sensor Networks Bruno Sinopoli, Student Member,IEEE, Courtney Sharp, Luca Schenato, Student Member,IEEE Shawn Schaffert, Student Member,IEEE and Shankar Sastry, Fellow,IEEE

Source URL: automatica.dei.unipd.it

24: Remote Sensing Applications: Indian Experience REMOTE SENSING APPLICATIONS: INDIAN EXPERIENCE Shibendu Shankar Ray Mahalanobis National Crop Forecast Centre, Department of Agriculture & Cooperation, Krishi Vistar Sa

Source URL: www.ncfc.gov.in