12981 search results - page 250 / 2597 » Model Checking (Abstract) |
79
Voted
TAICPART
2010
IEEE
15 years 1 months ago
2010
IEEE
CACM
2010
15 years 1 months ago
2010
110
Voted
FSTTCS
2010
Springer
15 years 1 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...
103
Voted
ICPADS
2010
IEEE
15 years 1 months ago
2010
IEEE