Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,342,346 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
,
B. 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. 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
2011
2011
Formal Methods for Automatic Deployment of Robotic Teams
Xu-Chu Ding
,
Marius Kloetzer
,
Yushan Chen
,
C. Belta
2011
Corpus ID: 18655377
ION In this article, we assume that the dynamics of the individual robots are described by differential equations ẋi = fi(xi,ui…
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
May 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
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
1993
1993
On Saturated Calculi for a Linear Temporal Logic
R. Pliuskevicius
International Symposium on Mathematical…
1993
Corpus ID: 7244181
A new type of finitary and infinitary sequential calculi (named the saturated ones) for a linear temporal logic are introduced…
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