1860 search results - page 115 / 372 » A Temporal Logic of Robustness |
FSTTCS
2010
Springer
14 years 10 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...
120
click to vote
AAAI
2011
14 years 19 days 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...
97
Voted
ISPASS
2005
IEEE
15 years 6 months 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...
95
Voted
CSO
2009
IEEE
15 years 1 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...
104
Voted
ECAI
2004
Springer
15 years 6 months 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...