3147 search results - page 220 / 630 » Open-Source Model Checking |
105
click to vote
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...
ICPADS
2010
IEEE
15 years 1 months ago
2010
IEEE
CORR
2009
Springer
15 years 1 months ago
2009
Springer
110
click to vote
ICFEM
2009
Springer
15 years 28 days ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...