Right Screen, Wrong Transition: World Models as Verifiers for GUI Agents
A login screen that appears after a tap on Sign in is expected; the same screen after a tap on View order is an attack. For GUI agents, safety is therefore a property of the transi...