Computing Weakest Strategies for Safety Games of Imperfect Information.

Wouter Kuijper, Jaco van de Pol

Browse the full TACAS paper archive.