Anastasios Kyrillidis

activity

20122026

most citedFormal Verification of Obstacle Avoidance and Navigation of Ground Robots

72 citations · 542 across the 65 of their papers we have counts for

collaborators

Showing 2016 · math.OCShow all

2 papers · 2 filters

math.OC2016

Finding Low-Rank Solutions via Non-Convex Matrix Factorization, Efficiently and Provably

Dohyung Park, Anastasios Kyrillidis, Constantine Caramanis +1

A rank- $r$ matrix $X \in R^{m \times n}$ can be written as a product $U V^{⊤}$ , where $U \in R^{m \times r}$ and $V \in R^{n \times r}$ . One could explo…

math.OC2016

A single-phase, proximal path-following framework

Quoc Tran-Dinh, Anastasios Kyrillidis, Volkan Cevher

We propose a new proximal, path-following framework for a class of constrained convex problems. We consider settings where the nonlinear---and possibly non-smooth---objective part…