Energie und Paritaetsgewinnbedingungen 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.

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 Zielgruppen

• Dozierende 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.