1860 search results - page 115 / 372 » A Temporal Logic of Robustness |
162
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
213
click to vote
AAAI
2011
14 years 6 months ago
2011
In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem...
173
click to vote
ISPASS
2005
IEEE
16 years 13 days ago
2005
IEEE
Communication misses--those serviced by dirty data in remote caches--are a pressing performance limiter in shared-memory multiprocessors. Recent research has indicated that tempor...
162
click to vote
CSO
2009
IEEE
15 years 8 months ago
2009
IEEE
In order to extract catchwords, new words and other kinds of words for language monitoring, this paper propose the temporal-spatial modeling, which seemed the sort of words as the...
182
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...