A symbolic algorithm for lazy synthesis of eager strategies Academic Article