VeriOS: Query-Driven Proactive Human-Agent-GUI Interaction for Trustworthy OS Agents

Open in new window