Reachability and Büchi Games - Rich Model Toolkit
Reachability and Büchi Games - Rich Model Toolkit
Reachability and Büchi Games - Rich Model Toolkit
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Example<br />
s 5<br />
s 3<br />
s 6<br />
s 4<br />
s 7<br />
Attr 0 0 = {s 3 ,s 4 }<br />
Attr 1 0 = {s 0 ,s 3 ,s 4 }<br />
Attr 2 0 = {s 0 ,s 3 ,s 4 ,s 7 }<br />
Attr 3 0 = {s 0,s 3 ,s 4 ,s 6 ,s 7 }<br />
Attr 4 0 = {s 0,s 3 ,s 4 ,s 5 ,s 6 ,s 7 }<br />
s 0 s 1 s 2