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
2018
Review
2018
The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and biological systems monitored and/or controlled… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Review
2018
Review
2018
Interactive, distributed, and embedded systems often behave stochastically, for example, when inputs, message delays, or failures… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 4
Is this relevant?
Review
2017
Review
2017
This review is devoted to the study of ultrafast laser ablation of solids and liquids. The ablation of condensed matter under… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2017
Review
2017
Satellite remote sensing technology has been widely used to estimate surface soil moisture. Numerous efforts have been devoted to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This paper is motivated by the need for a formal specification method for real-time systems. In these systemsquantitative… Expand
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems… Expand
Is this relevant?
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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1983
Highly Cited
1983
An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
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
Is this relevant?
Highly Cited
1977
Highly Cited
1977
  • Amir 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
Is this relevant?