activity
20082024
most citedFormal Verification of Obstacle Avoidance and Navigation of Ground Robots

72 citations · 119 across the 18 of their papers we have counts for

collaborators
Showing math.OCShow all

5 papers · 1 filter

math.OC2016★ 5 cited

Screening Rules for Convex Problems

Anant Raj, Jakob Olbrich, Bernd Gärtner +2

We propose a new framework for deriving screening rules for convex optimization problems. Our approach covers a large class of constrained and penalized optimization formulations,…

math.OC2012★ 2 cited

Variable Metric Random Pursuit

Sebastian U. Stich, Christian L. Müller, Bernd Gärtner

We consider unconstrained randomized optimization of smooth convex objective functions in the gradient-free setting. We analyze Random Pursuit (RP) algorithms with fixed (F-RP) and…

math.OC2011

A Polynomial-Time Algorithm for the Tridiagonal and Hessenberg P-Matrix Linear Complementarity Problem

Bernd Gärtner, Markus Sprecher

We give a polynomial-time dynamic programming algorithm for solving the linear complementarity problem with tridiagonal or, more generally, Hessenberg P-matrices. We briefly review…

math.OC2011

Optimization of Convex Functions with Random Pursuit

Sebastian U. Stich, Christian L. Müller, Bernd Gärtner

We consider unconstrained randomized optimization of convex objective functions. We analyze the Random Pursuit algorithm, which iteratively computes an approximate solution to the…

math.OC2008★ 7 cited

Pivoting in Linear Complementarity: Two Polynomial-Time Cases

Jan Foniok, Komei Fukuda, Bernd Gärtner +1

We study the behavior of simple principal pivoting methods for the P-matrix linear complementarity problem (P-LCP). We solve an open problem of Morris by showing that Murty's least…