1167 search results - page 104 / 234 » A Really Temporal Logic |
139
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...
137
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
154
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
136
click to vote
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
117
click to vote
AR
2008
15 years 4 months ago
2008
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its clo...