A Multiresolution Analysis of Temporal Logic
Why it's on BrighterTube
Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceAnalyzes temporal logic through multiresolution techniques. Teaches a framework for understanding formal specifications at multiple abstraction levels.
What you'll learn
A 14-minute video from Association for Computing Machinery (ACM): “A Multiresolution Analysis of Temporal Logic”.
Video by Association for Computing Machinery (ACM), played through YouTube's embedded player.
Part of HSCC 2022: 25th ACM International Conference on Hybrid Systems: Computation and Control