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.
Der Inhalt
Selbstüberdeckende Bäume
Eigenschaften von Gewinnstrategien
Reduktion von Gewinnbedingungen
Entscheidungsalgorithmen
Die ZielgruppenDozierende und Studierende der Informatik sowie Wissenschaftler im Bereich der Spieltheorie
Informatiker mit Bezug zur 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.

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.