Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,594,391 papers from all fields of science
Search
Sign In
Create Free Account
Linear temporal logic
Known as:
Propositional temporal logic
, LTL logic
, PTL
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
32 relations
Action language
Alternating-time Temporal Logic
Büchi automaton
CTL*
Expand
Broader (1)
Temporal logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Parallelized Runtime Verification of First-order LTL Specifications
R. Medhat
,
Yogi Joshi
,
Borzoo Bonakdarpour
,
S. Fischmeister
2014
Corpus ID: 16798844
Runtime verification is an effective automated method for specification-based offline testing and analysis as well as online…
Expand
Review
2011
Review
2011
Small witnesses, accepting lassos and winning strategies in omega-automata and games
Rüdiger Ehlers
arXiv.org
2011
Corpus ID: 18030272
Obtaining accepting lassos, witnesses and winning strategies in omega-automata and games with omega-regular winning conditions is…
Expand
2010
2010
Dynamic Web Services Composition Based on Linear Temporal Logic
Shengang Hao
,
Li Zhang
International Conference of Information Science…
2010
Corpus ID: 18215970
Dynamic composition of web services is a crucial aspect of web service technology, which gives us the opportunity of selecting…
Expand
2007
2007
Towards Analyzing Declarative Workflows
Dirk Fahland
Autonomous and Adaptive Web Services
2007
Corpus ID: 1646049
Enacting tasks in a work∞ow cannot always follow a pre- deflned process model. In application domains like disaster management…
Expand
2007
2007
A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic
A. Bolotov
,
Oleg M. Grigoriev
,
V. Shangin
Indian International Conference on Artificial…
2007
Corpus ID: 14268398
The paper continues our studies of natural deduction calculus for the propositional linear-time temporal logic PLTL. We present a…
Expand
2005
2005
Propositional Scopes in Linear Temporal Logic
M. Haydar
,
S. Boroday
,
A. Petrenko
,
H. Sahraoui
2005
Corpus ID: 12432315
In this paper, we address the problem of specifying a property in LTL over a subset of the states of a system under test…
Expand
2001
2001
Computational Complexity of Planning with Temporal Goals
Chitta Baral
,
V. Kreinovich
,
Raul Trejo
International Joint Conference on Artificial…
2001
Corpus ID: 11107285
The quality of radio astronomical images drastically depends on where we place the radio telescopes. During the design of the…
Expand
2000
2000
Fair Bisimulation
T. Henzinger
,
S. Rajamani
International Conference on Tools and Algorithms…
2000
Corpus ID: 17316911
Bisimulations enjoy numerous applications in the analysis of labeled transition systems. Many of these applications are based on…
Expand
2000
2000
AUTOMATED TESTING OF BUCHI AUTOMATA TRANSLATORS FOR LINEAR TEMPORAL LOGIC
H. Tauriainen
2000
Corpus ID: 8140961
The formal verification of finite-state reactive and concurrent systems against temporal logical requirements can be done by…
Expand
1989
1989
Fair SMG and Linear Time Model Checking
H. Barringer
,
Michael Fisher
,
G. Gough
Automatic Verification Methods for Finite State…
1989
Corpus ID: 3389110
SMG [GB88] is a system designed to generate a finite state model of a program from the program itself and an operational…
Expand