Towards Verified Artificial Intelligence

v1v2v3v4 (latest)

Towards Verified Artificial Intelligence

27 June 2016

Sanjit A. Seshia

Dorsa Sadigh

S. Shankar Sastry

ArXiv (abs)PDF HTML

Papers citing "Towards Verified Artificial Intelligence"

18 / 18 papers shown

Title
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World Daniel J. Fremont Edward Kim Yash Vardhan Pant Sanjit A. Seshia Atul Acharya Xantha Bruso Paul Wells Steve Lemke Q. Lu Shalin Mehta 95 130 0 17 Mar 2020
Algorithmic decision-making in AVs: Understanding ethical and technical concerns for smart cities H. S. M. Lim Araz Taeihagh 48 83 0 29 Oct 2019
A Semantic Loss Function for Deep Learning with Symbolic Knowledge Jingyi Xu Zilu Zhang Tal Friedman Yitao Liang Guy Van den Broeck 97 452 0 29 Nov 2017
Systematic Testing of Convolutional Neural Networks for Autonomous Driving T. Dreossi Shromona Ghosh Alberto L. Sangiovanni-Vincentelli Sanjit A. Seshia 53 61 0 10 Aug 2017
Developing Bug-Free Machine Learning Systems With Formal Mathematics Daniel Selsam Percy Liang D. Dill 35 55 0 26 Jun 2017
Logic-based Clustering and Learning for Time-Series Data Marcell Vazquez-Chanlatte Jyotirmoy V. Deshmukh Xiaoqing Jin Sanjit A. Seshia AI4TS 38 41 0 22 Dec 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 228 943 0 21 Oct 2016
Concrete Problems in AI Safety Dario Amodei C. Olah Jacob Steinhardt Paul Christiano John Schulman Dandelion Mané 236 2,389 0 21 Jun 2016
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving Kuldeep S. Meel Moshe Y. Vardi Supratik Chakraborty Daniel J. Fremont Sanjit A. Seshia Dror Fried A. Ivrii S. Malik 63 78 0 21 Dec 2015
The Limitations of Deep Learning in Adversarial Settings Nicolas Papernot Patrick McDaniel S. Jha Matt Fredrikson Z. Berkay Celik A. Swami AAML 112 3,962 0 24 Nov 2015
DeepFool: a simple and accurate method to fool deep neural networks Seyed-Mohsen Moosavi-Dezfooli Alhussein Fawzi P. Frossard AAML 151 4,897 0 14 Nov 2015
A Theory of Formal Synthesis via Inductive Learning Susmit Jha Sanjit A. Seshia 46 127 0 15 May 2015
Analysis of classifiers' robustness to adversarial perturbations Alhussein Fawzi Omar Fawzi P. Frossard AAML 95 361 0 09 Feb 2015
Safe Sequential Path Planning of Multi-Vehicle Systems via Double-Obstacle Hamilton-Jacobi-Isaacs Variational Inequality Mo Chen J. F. Fisac S. Shankar Sastry Claire Tomlin 56 67 0 23 Dec 2014
Explaining and Harnessing Adversarial Examples Ian Goodfellow Jonathon Shlens Christian Szegedy AAML GAN 277 19,066 0 20 Dec 2014
Deep Neural Networks are Easily Fooled: High Confidence Predictions for Unrecognizable Images Anh Totti Nguyen J. Yosinski Jeff Clune AAML 169 3,271 0 05 Dec 2014
Distribution-Aware Sampling and Weighted Model Counting for SAT Supratik Chakraborty Daniel J. Fremont Kuldeep S. Meel Sanjit A. Seshia Moshe Y. Vardi 54 158 0 11 Apr 2014
Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis Sanjit A. Seshia 36 36 0 04 Jan 2012