2872 search results - page 188 / 575 » On (Omega-)Regular Model Checking |
117
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...
107
Voted
ICPADS
2010
IEEE
15 years 1 months ago
2010
IEEE
87
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
118
click to vote
ICFEM
2009
Springer
15 years 1 months 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...