Deckblatt
Übersicht
Einführung
Sichtbarkeitsgraph
Modelldefinition
Lozano-Pérez
Elemente des Roboters
Problemstellung
Strategie 1
Strategie 2
Pledge
Beweisstrategie
Lemma1
Lemma2
Lemma3
Beweis