Safety first: A two-stage algorithm for LTL games | IEEE Conference Publication | IEEE Xplore