Linear Temporal Logic Courses and Certifications

Verification and Synthesis of Autonomous Systems

Explore techniques for verifying and designing controllers for autonomous systems, covering stability, regular properties, and omega-regular properties through various methods and theoretical frameworks.

• Coursera
• 10 hours 51 minutes
• On-Demand
• Free Online Course (Audit)

Requirement Specifications for Autonomous Systems

Explore formal modeling of autonomous systems, covering stability, reachability, languages, and automata. Learn to specify and analyze system behaviors using linear temporal logic and finite/infinite string automata.

• Coursera
• 10 hours 46 minutes
• On-Demand
• Free Online Course (Audit)

Association for Computing Machinery (ACM)

Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture

Explore E. Allen Emerson's journey to the Turing Award, from early influences to groundbreaking work in model checking and temporal logic in computer science verification.

• YouTube
• 1 hour 53 minutes
• On-Demand
• Free Video

Simons Institute

Symbolic Finite- and Infinite-state Synthesis

Explore innovative abstraction-refinement techniques for LTL synthesis, enhancing scalability and addressing infinite-state challenges through liveness refinements and symbolic representations.

• YouTube
• 35 minutes
• On-Demand
• Free Video

Simons Institute

Synthesis of Privacy-Preserving Systems

Explore privacy-preserving system synthesis, addressing hidden signals, budget constraints, and incomplete information while satisfying specifications and protecting secrets.

• YouTube
• 36 minutes
• On-Demand
• Free Video

Simons Institute

Linear Temporal Logic - From Infinite to Finite Horizon

Explore finite-horizon temporal synthesis in Linear Temporal Logic, its algorithmic advantages, and applications in reactive synthesis and infinite-horizon reasoning.

• YouTube
• 34 minutes
• On-Demand
• Free Video

Simons Institute

Transformer Expressivity and Formal Logic

Explore the relationship between transformers and formal logic, uncovering their abilities, limitations, and implications for computational models.

• YouTube
• 46 minutes
• On-Demand
• Free Video

ACM SIGPLAN

A Direct ASP Encoding for Declare

Explore a novel ASP encoding for Declare constraints in Process Mining, comparing its effectiveness to alternative approaches for improved business process modeling.

• YouTube
• 27 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Solving Two-Player Games under Progress Assumptions

Explore solving infinite two-player games with progress assumptions in cyber-physical system design. Analyze complexity classes and efficient algorithms for augmented games.

• YouTube
• 19 minutes
• On-Demand
• Free Video

Chennai Mathematical Institute;  NPTEL

Model Checking

Explore techniques for designing and verifying software controllers in safety-critical systems using mathematical models and model-checking tools. Learn to analyze complex interacting components.

• Swayam
• 12 weeks, 3 hours a week
• Finished
• Free Online Course