How to Win First-Order Safety Games.

Helmut Seidl, Christian Mller, Bernd Finkbeiner

Browse the full VMCAI paper archive.