2872 search results - page 188 / 575 » On (Omega-)Regular Model Checking |
FSTTCS
2010
Springer
14 years 9 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
14 years 9 months ago
2010
IEEE
CORR
2009
Springer
14 years 9 months ago
2009
Springer
ICFEM
2009
Springer
14 years 9 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...