change status paper on learning  non deterministic systems