Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Temporal Logic

#Linear Temporal Logic
Showing: 20 courses
NPTEL

Embedded Systems - Design Verification and Test

1 rewiews
Explore modeling, design, verification, and testing techniques for embedded systems, covering hardware/software partitioning, scheduling, temporal logic, and fault tolerance.
Add to list
38 Lesons
1 day 8 hours
On-Demand
Free-Video
Stanford University

Safety and Liveness of Robot Behaviors

0 rewiews
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.
Add to list
15 Lesons
58 minutes
On-Demand
Free-Video
Simons Institute

Transformer Expressivity and Formal Logic

0 rewiews
Explore the relationship between transformers and formal logic, uncovering their abilities, limitations, and implications for computational models.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
Simons Institute

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

0 rewiews
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.
Add to list
19 Lesons
1 hour 17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Solving Infinite-State Games via Acceleration

0 rewiews
Explore novel symbolic semi-algorithms for solving infinite-state games with temporal winning conditions, introducing acceleration techniques to enhance fixpoint-based game-solving methods.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Solving Two-Player Games under Progress Assumptions

0 rewiews
Explore solving infinite two-player games with progress assumptions in cyber-physical system design. Analyze complexity classes and efficient algorithms for augmented games.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Deciding Asynchronous Hyperproperties for Recursive Programs

0 rewiews
Explore a novel logic for asynchronous hyperproperties, enhancing model checking for recursive programs. Gain insights into temporal logic, automata theory, and pushdown systems.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
The Julia Programming Language

Sonic Pi - Live Coding as a Tool for Next-Gen Education

0 rewiews
Explore Sonic Pi, a free code-based music creation tool, for education and professional use. Learn core computer science concepts through live coding beats and synth riffs.
Add to list
1 Lesons
1 hour 10 minutes
On-Demand
Free-Video
ACM SIGPLAN

Algorithmic Verification - Session Preview at POPL 2023

0 rewiews
Explore algorithmic verification techniques and their applications in program analysis, presented by expert Umang Mathur at POPL 2023's innovative session preview track.
Add to list
1 Lesons
11 minutes
On-Demand
Free-Video
Association for Computing Machinery (ACM)

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

0 rewiews
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.
Add to list
26 Lesons
1 hour 53 minutes
On-Demand
Free-Video
USENIX

Weeks of Debugging Can Save You Hours of TLA+

0 rewiews
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.
Add to list
1 Lesons
39 minutes
On-Demand
Free-Video
Simons Institute

Reactive Synthesis - Open Questions and Challenges

0 rewiews
Experts discuss open questions and challenges in reactive synthesis, exploring cutting-edge research and future directions in system modeling and automation.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
Simons Institute

Synthesis and Verification of Finite Horizon Tasks

0 rewiews
Explore finite horizon task synthesis and verification techniques, focusing on model and system creation for time-bounded objectives in computational systems.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
ACM SIGPLAN

Historia: Refuting Callback Reachability with Message-History Logics

0 rewiews
Explore a novel approach to callback reachability in event-driven frameworks using message-history logics. Learn about targeted specification and goal-directed verification for improved app analysis.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

The Essence of Reactivity

0 rewiews
Explore abstractions capturing time variance in reactive programming, comparing approaches and demonstrating a generic Haskell interface for different temporal formalisms.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
USENIX

Anvil: Verifying Liveness of Cluster Management Controllers

0 rewiews
Innovative framework for verifying liveness in cluster management controllers, ensuring continuous reconciliation to desired states despite failures and asynchrony in cloud environments.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
Confreaks

Which Time Is It? - A Graphical Tour of Time Concepts and Operations

0 rewiews
Explore time concepts, operations, and mental models to avoid subtle bugs in Ruby programming through a graphical tour of time itself.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video
Simons Institute

Specification-guided Reinforcement Learning

0 rewiews
Explore specification-guided reinforcement learning techniques for synthesizing models and systems, presented by Rajeev Alur from the University of Pennsylvania.
Add to list
1 Lesons
33 minutes
On-Demand
Free-Video
Simons Institute

Linear Temporal Logic - From Infinite to Finite Horizon

0 rewiews
Explore finite-horizon temporal synthesis in Linear Temporal Logic, its algorithmic advantages, and applications in reactive synthesis and infinite-horizon reasoning.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
Simons Institute

Synthesis of Privacy-Preserving Systems

0 rewiews
Explore privacy-preserving system synthesis, addressing hidden signals, budget constraints, and incomplete information while satisfying specifications and protecting secrets.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video