2 papers
cs.CR2026
Mission (Im)Possible: Towards Autonomous Discovery of Autopilot Logic Flaws in Open-Source Drone Frameworks
Ziyi Liang, Zichuan Li, Bin Yuan +2
Autonomous drones are increasingly deployed in safety-critical tasks, yet their autopilot software can still contain subtle logic flaws that lead to unsafe behaviors. These flaws a…
cs.AI2026
PULSE: An Executable Contract Language for Spatiotemporal Knowledge Graph Engineering
Dongxu Yang, Ziyi Liang
Knowledge graph engineering often distributes accepted state, observations, constraints, processes, and hypothetical scenarios across artifacts whose combined execution contract re…