Temporal Logic Courses
Universidad Nacional Autónoma de México via Coursera Embedded Systems - Design Verification and Test
NPTEL via YouTube Feedback Control Theory - Architectures and Tools for Real-Time Decision Making II
Simons Institute via YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube Weeks of Debugging Can Save You Hours of TLA+
USENIX via YouTube Safety and Liveness of Robot Behaviors
Stanford University via YouTube Linear Temporal Logic - From Infinite to Finite Horizon
Simons Institute via YouTube Reactive Synthesis - Open Questions and Challenges
Simons Institute via YouTube Synthesis and Verification of Finite Horizon Tasks
Simons Institute via YouTube Specification-guided Reinforcement Learning
Simons Institute via YouTube