585 search results - page 4 / 117 » Strategy Logic |
FSTTCS
2010
Springer
14 years 7 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...
68
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
MEMS storage devices are new non-volatile secondary storages that have outstanding advantages over magnetic disks. MEMS storage devices, however, are much different from magnetic ...
73
Voted
TARK
2007
Springer
15 years 3 months ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
59
Voted
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
SMALLTALK
2007
Springer
15 years 3 months ago
2007
Springer