Konferenzbeitrag
Von Petri-Spielen zu endlichen Automaten
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Zusatzinformation
Datum
2014
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Gemeinsam mit Bernd Finkbeiner, Universität des Saarlandes, führen wir Petri-Spiele als einen neuartigen Spiele-Typ mit unvollständiger Information ein. Die einzelnen Spieler sind in System- und Umgebungsspieler unterteilt und werden durch Token im Petri-Netz dargestellt. Die Spieler kennen die Zustände der anderen Spieler nicht, es sei denn, sie kommunizieren miteinander. Dann wird maximal die gesamte kausale Vergangenheit ausgetauscht. Das Ziel der Systemspieler ist es, unabhängig von der Umgebung gewisse unsichere Zustände zu vermeiden.