Linear Temporal Logic - From Infinite to Finite Horizon
Offered By: Simons Institute via YouTube
Course Description
Overview
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
مقدمة في علم الحاسوب والبرمجةMassachusetts Institute of Technology via Edraak Algorithmic Information Dynamics: From Networks to Cells
Santa Fe Institute via Complexity Explorer Computational Thinking using Python
Massachusetts Institute of Technology via edX Java: Algorithms
Codecademy Technical Interview Practice with Java
Codecademy