Backend
LOGIV: Graph-Verified Execution with Causal Local Repair for Long-Horizon Robot Tasks
arXiv cs.RO0 views
arXiv:2610.40016v2 Announce Type: replace Abstract: Agentic robots must turn a high-level goal into actions while keeping the physical conditions needed for future steps valid. A completed action does not ensure that its effects will persist: a later disturbance can invalidate support that the remaining plan still assumes. We present LOGIV, a graph engineering framework for agentic robot execution that uses an explicit task graph to connect symbolic planning, observation-based verification, and embodied action. LOGIV compiles a validated plan into condition-support and resource-ordering edges, checks their physical validity during execution, and uses dependency tracing to determine what must be restored after a failure. Repair is constrained by retained unfinished actions, and the combined continuation is symbolically validated before execution resumes. The framework operates above existing Vision-Language-Action (VLA) and World Action Model (WAM) policies without adding trainable components. Across 20 dual-arm tasks from RoboTwin V2 and BiCoord with three execution backbones, LOGIV improves mean task success without injected disturbances by 10.67 and 15.33 percentage points, respectively. Under predefined perturbations, it achieves higher task completion and condition restoration than three adapted recovery baselines for every backbone on both benchmarks. On three real-robot tasks, successful trials increase from 12/30 to 17/30. These results support explicit, continuously checked task dependencies as a practical interface for reliable agentic robot execution.
Source:https://arxiv.org/abs/2610.40016PreviousOpenFlyV2: An onboard vision-language-action model for aerial perception and navigationNextMUSBRIC: LEGO-Compatible Pneumatic Muscle Bricks for Reconfigurable Musculoskeletal Robots
Related posts
How to bulk rename files safely on Windows, macOS and Linux
0dev.to
Extract Audio From a Video in the Browser: WAV or WebM Opus, Checked Byte by Byte
0dev.to

One unrecognized selector killed Messages.app 15 times
0dev.to
ShengChang: Import a Novel Chapter, Get a Mixed Radio-Drama Episode
0dev.to
Why Every Backend Needs Multi-Tier Caching (L1 RAM + L2 Redis)
0dev.to
SFXMint vs Freesound vs Kenney: Free SFX for Games, Video, and AI Agents
0dev.to