Reachability and Büchi Games - Rich Model Toolkit
Reachability and Büchi Games - Rich Model Toolkit
Reachability and Büchi Games - Rich Model Toolkit
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Exercise<br />
1. Given a reachability game (G,F) with G = (S,S 0 ,E) <strong>and</strong><br />
F ⊆ Q, give an algorithm that computes the 0-Attractor(F) in<br />
time O(|E|).