4341 search results - page 230 / 869 » Quantitative Model checking |
FSTTCS
2010
Springer
14 years 10 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 10 months ago
2010
IEEE
100
Voted
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
CORR
2009
Springer
14 years 10 months ago
2009
Springer
88
Voted
ICFEM
2009
Springer
14 years 10 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...