4341 search results - page 215 / 869 » Quantitative Model checking |
91
Voted
CBSE
2008
Springer
15 years 2 months ago
2008
Springer
81
Voted
CRITIS
2008
15 years 2 months ago
2008
125
Voted
DALT
2008
Springer
15 years 2 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
103
Voted
FAW
2008
Springer
15 years 2 months ago
2008
Springer
We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...
70
Voted
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
