Results 281 to 290 of about 283,349 (325)
Dynamic land-cover maps in the Guangdong-Hong Kong-Macao Greater Bay Area at 30 m spatial resolution, 2000-2022. [PDF]
Sci DataLi Y +7 more
europepmc +1 more source
Macro and micronutrient based soil fertility zonation using fuzzy logic and geospatial techniques. [PDF]
Sci RepVenkateswarlu M +6 more
europepmc +1 more source
On the weak completeness of a fragment of linear temporal logic
Stefano Baratella
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Journal of Automated Reasoning, 2014
We introduce a robust and tractable temporal logic, we call Visibly Linear Temporal Logic (VLTL), which captures the full class of Visibly Pushdown Languages. The novel logic avoids fix points and provides instead natural temporal operators with simple and intuitive semantics.
César Sánchez +2 more
openaire +3 more sources
We introduce a robust and tractable temporal logic, we call Visibly Linear Temporal Logic (VLTL), which captures the full class of Visibly Pushdown Languages. The novel logic avoids fix points and provides instead natural temporal operators with simple and intuitive semantics.
César Sánchez +2 more
openaire +3 more sources
The complexity of propositional linear temporal logics
Journal of the ACM, 1982The complexity of satisfiability and determination of truth in a particular finite structure are considered for different propositional linear temporal logics. It is shown that these problems are NP-complete for the logic with F and are PSPACE-complete for the logics with F, X, with U, with U, S, X operators and for the extended logic with regular ...
A. P. Sistla, Edmund M. Clarke
openaire +4 more sources
Linear Temporal Logic and Z Refinement [PDF]
, 2004 Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also in terms of its state. One means of doing this is to use Linear Temporal Logic (LTL) in which properties about the state of a system over time can be captured. This, however,
Derrick, John, Smith, Graeme
openaire +2 more sources
2007
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LTL operator can be defined as a context in regular linear temporal logic. This implies that there is a (linear) translation from LTL to RLTL.
Martin Leucker, César Sánchez
openaire +1 more source
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LTL operator can be defined as a context in regular linear temporal logic. This implies that there is a (linear) translation from LTL to RLTL.
Martin Leucker, César Sánchez
openaire +1 more source