LOGIV: Graph-Verified Execution with Causal Local Repair for Long-Horizon Robot Tasks
This research presents LOGIV, a framework for agentic robot execution that uses an explicit task graph to link symbolic planning, observation-based verification, and embodied action.