The field of graphical user interface (GUI) agents is moving towards developing more robust and adaptive systems that can effectively collaborate with humans. Recent research focuses on addressing the challenges of over-execution, action confidence, and safety risks in GUI agents. Innovative approaches include adaptive interaction mechanisms, exploration-and-reasoning frameworks, and formal verification systems. Noteworthy papers in this area propose novel solutions, such as OS-Kairos, which achieves significant improvements in task success rates, and VeriSafe Agent, which introduces a logically grounded safeguard for mobile GUI agents. Other notable works include GUI-Xplore, which enhances cross-application and cross-task generalization, and AgentSpec, which provides a lightweight domain-specific language for specifying and enforcing runtime constraints on LLM agents. These advancements have the potential to revolutionize human-computer interaction and pave the way for more efficient and reliable GUI agents. Notable papers include OS-Kairos, which substantially outperforms existing models, and VeriSafe Agent, which achieves high accuracy in verifying agent actions.