263 search results - page 7 / 53 » Using Temporal Logic for Spatial Reasoning: Temporalized Pro... |
174
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
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...
125
Voted
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
131
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
126
Voted
FLAIRS
2003
15 years 6 months ago
2003
Recently, a hierarchy of spatio-temporal languages based on the propositional temporal logic PTL and the spatial languages RCC-8, BRCC-8 and S4u has been introduced. Although a nu...
168
Voted
IGPL
2006
15 years 5 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...