DiVeR preprint proposes prioritizing decision-critical states in robot verifier training · Digg