Article

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

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.

Part of the event: LOGIV: A Task Graph Verification and Causal Local Repair Framework

This page provides a summary and source link only.