CORTEXA
← Browse

Xinghua Gao

2 papers indexed

arxivcs.ROcs.SE2026-07-18

A BIM-enabled, Agent-based Discrete-event Simulation Platform for Robotic Studies: A Method based on Graph Theory

Ping Xu, Xinghua Gao

Indoor robots are increasingly employed for facility management tasks such as cleaning and inspection. These applications primarily rely on navigation and can be effectively supported by predefined routes or perception-driven Simultaneous Localization and Mapping (SLAM) technique…

View free PDFSource page
arxivcs.SEcs.AI2026-07-07

SmartHomeSecure: Automated Detection and Repair of Smart Home Configuration Errors Using Large Language Models

Yizhi Wang, Xinghua Gao, Reachsak Ly, Alireza Shojaei

Smart home automation platforms increasingly rely on user-authored YAML configuration files to define device behaviors, but these files are prone to syntax, formatting, and semantic logic errors that can cause automation failures and safety risks. Existing YAML validators, static…

View free PDFSource page