Next
Livestream will start soon!
Livestream has already ended.
Presentation has not been recorded yet!
  • title: Formal Control Synthesis for Stochastic Neural Network Dynamic Models
      0:00 / 0:00
      • Report Issue
      • Settings
      • Playlists
      • Bookmarks
      • Subtitles Off
      • Playback rate
      • Quality
      • Settings
      • Debug information
      • Server sl-yoda-v2-stream-009-alpha.b-cdn.net
      • Subtitles size Medium
      • Bookmarks
      • Server
      • sl-yoda-v2-stream-009-alpha.b-cdn.net
      • sl-yoda-v2-stream-009-beta.b-cdn.net
      • 1766500541.rsc.cdn77.org
      • 1441886916.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
            Formal Control Synthesis for Stochastic Neural Network Dynamic Models
            • Settings
            • Sync diff
            • Quality
            • Settings
            • Server
            • Quality
            • Server

            Formal Control Synthesis for Stochastic Neural Network Dynamic Models

            Jul 28, 2023

            Speakers

            SA

            Steven Adams

            Speaker · 0 followers

            ML

            Morteza Lahijanian

            Speaker · 0 followers

            LL

            Luca Laurenti

            Speaker · 0 followers

            About

            Neural networks (NNs) are emerging as powerful tools to represent the dynamics of control systems with complicated physics or black-box components. Due to complexity of NNs, however, existing methods are unable to synthesize complex behaviors with guarantees for NN dynamic models (NNDMs). This work introduces a control synthesis framework for stochastic NNDMs with performance guarantees. The focus is on specifications expressed in linear temporal logic interpreted over finite traces (LTLf), and…

            Organizer

            I2
            I2

            ICML 2023

            Account · 619 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

            FedDisco: Federated Learning with Discrepancy-Aware Collaboration
            05:15

            FedDisco: Federated Learning with Discrepancy-Aware Collaboration

            Rui Ye, …

            I2
            I2
            ICML 2023 2 years ago

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

            Learning Physical Models that Can Respect Conservation Laws
            05:00

            Learning Physical Models that Can Respect Conservation Laws

            Derek Hansen, …

            I2
            I2
            ICML 2023 2 years ago

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

            Causal vs Causality-inspired representation learning
            34:20

            Causal vs Causality-inspired representation learning

            Sara Magliacane, …

            I2
            I2
            ICML 2023 2 years ago

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

            Last Switch Dependent Bandits with Monotone Payoff Functions
            05:06

            Last Switch Dependent Bandits with Monotone Payoff Functions

            Ayoub Foussoul, …

            I2
            I2
            ICML 2023 2 years ago

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

            How Do Transformers Learn Topic Structure: Towards a Mechanistic Understanding
            05:18

            How Do Transformers Learn Topic Structure: Towards a Mechanistic Understanding

            Yuchen Li, …

            I2
            I2
            ICML 2023 2 years ago

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

            HETAL: Efficient Privacy-preserving Transfer Learning with Homomorphic Encryption
            04:52

            HETAL: Efficient Privacy-preserving Transfer Learning with Homomorphic Encryption

            Seewoo Lee, …

            I2
            I2
            ICML 2023 2 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 2023