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.
Summary<br />
We know how to solve <strong>Büchi</strong> <strong>and</strong> Co-<strong>Büchi</strong> games by positional<br />
winning strategies.<br />
In LTL,<br />
◮ ✸F = reachability<br />
◮ ✷F = safety<br />
◮ ✷✸F = <strong>Büchi</strong><br />
◮ ✸✷F = Co-<strong>Büchi</strong>