GitHub repository: zdeng-UTexas/graph_navigation
Description: Robot graph navigation via carrot planning