2872 search results - page 173 / 575 » On (Omega-)Regular Model Checking |
CRITIS
2008
15 years 1 months ago
2008
106
click to vote
DALT
2008
Springer
15 years 1 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 ...
FAW
2008
Springer
15 years 1 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...
FMCAD
2008
Springer
15 years 25 days ago
2008
Springer
93
Voted
FMCAD
2008
Springer
15 years 25 days ago
2008
Springer