Neural Network Virtual Sensors for Fuel Injection Quantities with Provable Performance Specifications

30 June 2020

J. Zico Kolter

Papers citing "Neural Network Virtual Sensors for Fuel Injection Quantities with Provable Performance Specifications"

4 / 4 papers shown

Title
Certified Robustness to Adversarial Word Substitutions Robin Jia Aditi Raghunathan Kerem Göksel Percy Liang AAML 183 290 0 03 Sep 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 281 5,835 0 08 Jul 2016