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