Bernd Gartner

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 2017Show all

2 papers · 1 filter

cs.DS2017

Majority Model on Random Regular Graphs

Bernd Gärtner, Ahad N. Zehmakan

Consider a graph $G = (V, E)$ and an initial random coloring where each vertex $v \in V$ is blue with probability $P_{b}$ and red otherwise, independently from all other vertices. In ea…

math.CO2017★ 2 cited

Pseudo Unique Sink Orientations

Vitor Bosshard, Bernd Gärtner

A unique sink orientation (USO) is an orientation of the $n$ -dimensional cube graph ( $n$ -cube) such that every face (subcube) has a unique sink. The number of unique sink orientati…