Skip to search formSkip to main contentSkip to account menu

Linear temporal logic

Known as: Propositional temporal logic, LTL logic, PTL 
In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can… 
Wikipedia (opens in a new tab)

Related topics

Related topics

32 relations
Action languageAlternating-time Temporal LogicBüchi automatonCTL*

Broader (1)

Temporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning
The Vehicle Routing Problem (VRP) and several of its variants have been used as an algorithmic basis for mission planning and… 
2008
2008
An Efficient Solution for Model Checking Graph Transformation Systems
2007
2007
Can a Model Checker Generate Tests for Non-Deterministic Systems?
2004
2004
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to… 
2002
2002
An Extension of OCL with Temporal Logic
. UML class diagrams are widely used to model the static structure of object-oriented software systems. As a supplement, OCL… 
2002
2002
Wrapping Real-Time Systems from Temporal Logic Specifications
This paper defines a methodology for developing wrappers for real-time systems starting from temporal logic specifications. Error… 
2002
2002
Mapping Modular SOS to Rewriting Logic
Modular SOS (MSOS) is a framework created to improve the modularity of structural operational semantics specifications, a… 
2001
2001
Computational Complexity of Planning with Temporal Goals
The quality of radio astronomical images drastically depends on where we place the radio telescopes. During the design of the… 
1994
1994
Liveness and Fairness in Duration Calculus
This paper embeds durations in an interval temporal logic proposed by Venema. The resulting logic, DCL, is a conservative… 
Review
1989
Review
1989
Using Temporal Logic for Automatic Verification of Finite State Systems
Temporal logic has been extensively investigated for proving properties of programs-particularly for programs that involve… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)