Sciweavers

289 search results - page 8 / 58
» Regular Linear Temporal Logic
Sort
View
74
Voted
JOLLI
2002
109views more  JOLLI 2002»
14 years 9 months ago
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
Joeri Engelfriet, Jan Treur
106
Voted
FOSSACS
2007
Springer
15 years 1 months ago
The Complexity of Generalized Satisfiability for Linear Temporal Logic
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of tempora...
Michael Bauland, Thomas Schneider 0002, Henning Sc...
ATAL
2007
Springer
15 years 1 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
BANFF
1995
15 years 1 months ago
An Automata-Theoretic Approach to Linear Temporal Logic
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
Moshe Y. Vardi
SEKE
2007
Springer
15 years 3 months ago
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications
Salamah Salamah, Vladik Kreinovich, Ann Q. Gates