Energie- und Paritätsgewinnbedingungen auf Spielstrukturen

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.

Studie aus der Informatik Includes supplementary material: sn.pub/extras

Autorentext

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.

Inhalt

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