Hemant Tyagi

activity

20122023

most citedFormal Verification of Obstacle Avoidance and Navigation of Ground Robots

72 citations · 157 across the 23 of their papers we have counts for

collaborators

Showing 2019Show all

2 papers · 1 filter

stat.ML2019★ 17 cited

Ranking and synchronization from pairwise measurements via SVD

Alexandre d'Aspremont, Mihai Cucuringu, Hemant Tyagi

Given a measurement graph $G = (V, E)$ and an unknown signal $r \in R^{n}$ , we investigate algorithms for recovering $r$ from pairwise measurements of the form $r_{i} - r_{j}$ ; $\…

stat.ML2019★ 26 cited

SPONGE: A generalized eigenproblem for clustering signed networks

Mihai Cucuringu, Peter Davies, Aldo Glielmo +1

We introduce a principled and theoretically sound spectral method for $k$ -way clustering in signed graphs, where the affinity measure between nodes takes either positive or negativ…