Next
Livestream will start soon!
Livestream has already ended.
Presentation has not been recorded yet!
  • title: Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability
      0:00 / 0:00
      • Report Issue
      • Settings
      • Playlists
      • Bookmarks
      • Subtitles Off
      • Playback rate
      • Quality
      • Settings
      • Debug information
      • Server sl-yoda-v2-stream-007-alpha.b-cdn.net
      • Subtitles size Medium
      • Bookmarks
      • Server
      • sl-yoda-v2-stream-007-alpha.b-cdn.net
      • sl-yoda-v2-stream-007-beta.b-cdn.net
      • 1678031076.rsc.cdn77.org
      • 1932936657.rsc.cdn77.org
      • Subtitles
      • Off
      • English
      • Playback rate
      • Quality
      • Subtitles size
      • Large
      • Medium
      • Small
      • Mode
      • Video Slideshow
      • Audio Slideshow
      • Slideshow
      • Video
      My playlists
        Bookmarks
          00:00:00
            Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability
            • Settings
            • Sync diff
            • Quality
            • Settings
            • Server
            • Quality
            • Server

            Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability

            Jul 22, 2022

            Speakers

            SB

            Stanley Bak

            Speaker · 0 followers

            HT

            Hoang-Dung Tran

            Speaker · 0 followers

            Organizer

            I2
            I2

            ICML 2022

            Account · 493 followers

            Like the format? Trust SlidesLive to capture your next event!

            Professional recording and live streaming, delivered globally.

            Sharing

            Recommended Videos

            Presentations on similar topic, category or speaker

            Scalable MCMC Sampling for Nonsymmetric Determinantal Point Processes
            16:22

            Scalable MCMC Sampling for Nonsymmetric Determinantal Point Processes

            Insu Han, …

            I2
            I2
            ICML 2022 3 years ago

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            Online learning in digital markets
            29:39

            Online learning in digital markets

            Nicolò Cesa-Bianchi

            I2
            I2
            ICML 2022 3 years ago

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            NISPA: Neuro-Inspired Stability-Plasticity Adaptation for Continual Learning in Sparse Networks
            05:17

            NISPA: Neuro-Inspired Stability-Plasticity Adaptation for Continual Learning in Sparse Networks

            Mustafa Burak Gurbuz, …

            I2
            I2
            ICML 2022 3 years ago

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            Implicit Regularization in Hierarchical Tensor Factorization and Deep Convolutional Neural Networks
            05:21

            Implicit Regularization in Hierarchical Tensor Factorization and Deep Convolutional Neural Networks

            Noam Razin, …

            I2
            I2
            ICML 2022 3 years ago

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            Bayesian Learning with Information Gain Provably Bounds Risk for a Robust Adversarial Defense
            05:13

            Bayesian Learning with Information Gain Provably Bounds Risk for a Robust Adversarial Defense

            Bao Gia Doan, …

            I2
            I2
            ICML 2022 3 years ago

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            Reverse Engineering the Neural Tangent Kernel
            05:23

            Reverse Engineering the Neural Tangent Kernel

            Jamie Simon, …

            I2
            I2
            ICML 2022 3 years ago

            Total of 0 viewers voted for saving the presentation to eternal vault which is 0.0%

            Interested in talks like this? Follow ICML 2022