YoVDO

Linear Temporal Logic - From Infinite to Finite Horizon

Offered By: Simons Institute via YouTube

Tags

Formal Verification Courses Formal Methods Courses Algorithmic Complexity Courses Linear Temporal Logic Courses Temporal Logic Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the evolution and applications of Linear Temporal Logic (LTL) in this insightful lecture by Moshe Vardi from Rice University. Delve into the origins of LTL, proposed by Amir Pnueli in 1977 for reasoning about ongoing programs, and its initial focus on infinite traces to model arbitrarily long computations. Examine the challenges faced in reactive synthesis due to the complex algorithms required for infinite-horizon temporal synthesis. Discover the advantages of finite-horizon temporal synthesis and how it compensates for the loss in expressiveness. Learn about the unexpected benefits of finite-horizon reasoning even in infinite-horizon applications, providing a fresh perspective on LTL's practical implementation in model checking and system synthesis.

Syllabus

Linear Temporal Logic: From Infinite to Finite Horizon


Taught by

Simons Institute

Related Courses

SPARK 2014
AdaCore via Independent
Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera
Software Testing and Verification
University System of Maryland via edX
Haskell for Imperative Programmers
YouTube
Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube