Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Temporal logic

Known as: Temporal, Tense logic 
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their formal specification and verification… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Review
2018
Review
2018
Environmental DNA (eDNA) analysis is a rapid, non-invasive, cost-efficient biodiversity monitoring tool with enormous potential… Expand
  • table 1
  • figure 1
Review
2017
Review
2017
Abstract Rivers are essential to the Earth's water cycle and deeply impact many human societies and ecosystems, yet they are… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 6
Highly Cited
1994
Highly Cited
1994
We introduce a temporal logic for the specification of real-time systems. Our logic, TPTL, employs a novel quantifier construct… Expand
Highly Cited
1992
Highly Cited
1992
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems… Expand
Highly Cited
1986
Highly Cited
1986
We give an efficient procedure for verifying that a finite-state concurrent system meets a specification expressed in a… Expand
Highly Cited
1983
Highly Cited
1983
It is first proved that there are properties of sequences that are not expressible in temporal logic, even though they are easily… Expand
Highly Cited
1981
Highly Cited
1981
SummaryA temporal logic is defined which contains both linear and branching operators. The underlying model is the tree of all… Expand
  • figure 1
  • figure 2
Highly Cited
1981
Highly Cited
1981
We have shown that it is possible to automatically synthesize the synchronization skeleton of a concurrent program from a… Expand
Highly Cited
1977
Highly Cited
1977
  • A. Pnueli
  • 18th Annual Symposium on Foundations of Computer…
  • 1977
  • Corpus ID: 117103037
A unified approach to program verification is suggested, which applies to both sequential and parallel programs. The main proof… Expand