Safety first: A two-stage algorithm for LTL games.

Saqib Sohail, Fabio Somenzi

Browse the full FMCAD paper archive.