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

            End-to-End Full-Atom Antibody Design
            05:15

            End-to-End Full-Atom Antibody Design

            Xiangzhe Kong, …

            I2
            I2
            ICML 2023 2 years ago

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

            Shortest Edit Path Crossover: A Theory-driven Solution to the Permutation Problem in Evolutionary Neural Architecture Search
            05:31

            Shortest Edit Path Crossover: A Theory-driven Solution to the Permutation Problem in Evolutionary Neural Architecture Search

            Xin Qiu, …

            I2
            I2
            ICML 2023 2 years ago

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

            Subsample Ridge Ensembles: Equivalences and Generalized Cross-Validation
            10:52

            Subsample Ridge Ensembles: Equivalences and Generalized Cross-Validation

            Jin-Hong Du, …

            I2
            I2
            ICML 2023 2 years ago

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

            BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
            05:13

            BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming

            Steven Adams, …

            I2
            I2
            ICML 2023 2 years ago

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

            Inflow, Outflow and Reciprocity In Machine Learning
            05:30

            Inflow, Outflow and Reciprocity In Machine Learning

            Mukund Sundararajan, …

            I2
            I2
            ICML 2023 2 years ago

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

            Subset Selection Based On Multiple Rankings in the Presence of Bias: Effectiveness of Fairness Constraints for Multiwinner Voting Score Functions
            05:45

            Subset Selection Based On Multiple Rankings in the Presence of Bias: Effectiveness of Fairness Constraints for Multiwinner Voting Score Functions

            Niclas Boehmer, …

            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