# LOGIV: A Task-Graph Framework for Verified Execution and Causal Local Repair in Long-Horizon Robot Tasks

- Source: arXiv cs.RO
- Published: 2026-11-02T05:00:00.000Z
- RoboHot: https://robohot.news/en/items/wrqu1dr4n41x6336605cw3ofx
- Original: https://arxiv.org/abs/2610.40016

## Summary

LOGIV is a task-graph framework for long-horizon robot tasks that connects symbolic planning, observation-based verification, and embodied execution. During execution it checks the physical validity of condition-support and resource-ordering edges, and after a failure it uses dependency tracing to determine which parts must be restored.