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

            Learning Noisy OR Bayesian Networks with Max-Product Belief Propagation
            05:08

            Learning Noisy OR Bayesian Networks with Max-Product Belief Propagation

            Antoine Dedieu

            I2
            I2
            ICML 2023 2 years ago

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

            Sequential Kernelized Independence Testing
            05:20

            Sequential Kernelized Independence Testing

            Aleksandr Podkopaev, …

            I2
            I2
            ICML 2023 2 years ago

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

            Scaling Laws for Reward Model Overoptimization
            05:18

            Scaling Laws for Reward Model Overoptimization

            Leo Gao, …

            I2
            I2
            ICML 2023 2 years ago

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

            Robust Subtask Learning for Compositional Generalization
            05:47

            Robust Subtask Learning for Compositional Generalization

            Kishor Jothimurugan, …

            I2
            I2
            ICML 2023 2 years ago

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

            Flexible Model Aggregation for Quantile Regression
            05:08

            Flexible Model Aggregation for Quantile Regression

            Rasool Fakoor, …

            I2
            I2
            ICML 2023 2 years ago

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

            Coupled Variational Autoencoder
            05:00

            Coupled Variational Autoencoder

            Xiaoran Hao, …

            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