Neural Networks, Temporal Logic, and Verification with STL Net - Part 2

Neural Networks, Temporal Logic, and Verification with STL Net - Part 2

Neuro Symbolic via YouTube Direct link

Setup

1 of 11

1 of 11

Setup

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Neural Networks, Temporal Logic, and Verification with STL Net - Part 2

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Setup
  2. 2 Student-Teacher Network Paradigm
  3. 3 STL Loss Function
  4. 4 Two Models
  5. 5 Architecture Overview
  6. 6 Adjusting Neural Network Results to Meet a Specification
  7. 7 Key Idea: Converting Specification to DNF Form
  8. 8 Example Trace Generation
  9. 9 Metrics
  10. 10 Results on Generated Data
  11. 11 Results on Air Quality Prediction Data

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.