Weak observable liveness and infinite games on finite graphs