Temporal Logic Courses and Certifications

Safety and Liveness of Robot Behaviors

Explore formal methods for designing robots, guaranteeing behavior, and identifying potential issues. Learn about safety and liveness properties in robotic systems, including multi-robot and human-robot interactions.

• YouTube
• 58 minutes
• On-Demand
• Free Online Course

NPTEL;  IIT Guwahati

Embedded Systems - Design Verification and Test

1 review

Explore modeling, design, verification, and testing techniques for embedded systems, covering hardware/software partitioning, scheduling, temporal logic, and fault tolerance.

• YouTube
• 1 day 8 hours
• On-Demand
• Free Online Course

Simons Institute

Feedback Control Theory - Architectures and Tools for Real-Time Decision Making II

Explore advanced control systems, design patterns, and optimization techniques for real-time decision making in complex systems. Learn about PID control, robustness, and temporal logic.

• YouTube
• 1 hour 17 minutes
• On-Demand
• Free Online Course

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 Online Course

USENIX

Weeks of Debugging Can Save You Hours of TLA+

Explore TLA+ for reliable system design through a hands-on approach, solving a subtle concurrency issue to demonstrate its power in preventing critical failures and reducing debugging time.

• YouTube
• 39 minutes
• On-Demand
• Conference Talk

USENIX

Anvil: Verifying Liveness of Cluster Management Controllers

Innovative framework for verifying liveness in cluster management controllers, ensuring continuous reconciliation to desired states despite failures and asynchrony in cloud environments.

• YouTube
• 17 minutes
• On-Demand
• Free Online Course

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 Online Course

Simons Institute

Reactive Synthesis - Open Questions and Challenges

Experts discuss open questions and challenges in reactive synthesis, exploring cutting-edge research and future directions in system modeling and automation.

• YouTube
• 27 minutes
• On-Demand
• Free Online Course

Simons Institute

Synthesis and Verification of Finite Horizon Tasks

Explore finite horizon task synthesis and verification techniques, focusing on model and system creation for time-bounded objectives in computational systems.

• YouTube
• 23 minutes
• On-Demand
• Free Online Course

Simons Institute

Specification-guided Reinforcement Learning

Explore specification-guided reinforcement learning techniques for synthesizing models and systems, presented by Rajeev Alur from the University of Pennsylvania.

• YouTube
• 33 minutes
• On-Demand
• Free Online Course

Razonamiento artificial

103 ratings at Coursera

Introducción a la lógica y probabilidad en IA, cubriendo lógica proposicional, temporal y de predicados, así como modelos gráficos probabilísticos como redes bayesianas y procesos de Markov.

• Coursera
• 20 hours 57 minutes
• On-Demand
• Free Online Course (Audit)