Selbstüberdeckende Bäume.- Eigenschaften von Gewinnstrategien.- Reduktion von Gewinnbedingungen.- Entscheidungsalgorithmen.        

Auf dem Gebiet der Petri-Netze und Vektoradditionssysteme sind viele Entscheidungsfragen ungeklärt, die Uli Schlachter in seiner Masterarbeit motiviert haben, Spiele auf sogenannten Spielstrukturen mit einer ähnlichen Semantik zu untersuchen. Hierbei handelt es sich um eine Art von Zwei-Spieler-Spielen auf einem gerichteten Graphen. Der Autor erarbeitet verschiedene Gewinnbedingungen und zeigt ihre Entscheidbarkeit. Die Arbeit beleuchtet diese Themen spieltheoretisch, bietet aber auch eine exemplarische Anwendung verschiedener Aspekte der Spieltheorie.     

Uli Schlachter forschte im Zuge seines Masterstudiums an der Universität Oldenburg und ist dort heute als wissenschaftlicher Mitarbeiter beschäftigt. Weiterhin nimmt er am DFG-Graduiertenkolleg SCARE (Systemkorrektheit unter widrigen Umständen) teil.