Slides.
Slides.
Slides.
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
STEPHAN KREUTZER COMPLEXITY OF MODEL-CHECKING PROBLEMS 41/81<br />
INTRODUCTION COMPLEXITY UPPER BOUNDS COMPOSITION LOCALITY LOCALISATION GRIDS GRID-LIKE MINORS LABELLED WEBS<br />
Local Model Checking<br />
Essentially:<br />
• We need to be able to test r-local formulae ψ(x) in<br />
r ′ -neighbourhoods<br />
Here: r, r ′ depend on the original formula ϕ and hence are constant<br />
(part of the parameter).