518 search results - page 18 / 104 » Time Window Temporal Logic |
FSTTCS
2009
Springer
15 years 6 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...
111
click to vote
ICTL
1994
15 years 3 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
IV
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper introduces Temporal Social Surfaces. Temporal Social Surfaces show the dynamic evolution of social relationships in groups. Changes in measures of social network analys...
FROCOS
2007
Springer
15 years 5 months ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
100
click to vote
AI
2005
Springer
15 years 5 months ago
2005
Springer
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...