TY  - RPRT
TI  - VeriOS: Query-Driven Proactive Human-Agent-GUI Interaction for Trustworthy OS Agents
AU  - Zheng Wu
AU  - Heyuan Huang
AU  - Xingyu Lou
AU  - Xiangmou Qu
AU  - Pengzhou Cheng
AU  - Zongru Wu
AU  - Weiwen Liu
AU  - Weinan Zhang
AU  - Jun Wang
AU  - Zhaoxiang Wang
AU  - Zhuosheng Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2509.07553
ID  - 2509.07553
ER  -