CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators

25 November 2019

Papers citing "CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators"

4 / 4 papers shown

Title
A Style-Based Generator Architecture for Generative Adversarial Networks Tero Karras S. Laine Timo Aila 279 10,348 0 12 Dec 2018
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 105 138 0 29 Nov 2018
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
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 281 5,835 0 08 Jul 2016