Komplexitätsprobleme in der rationalen Verifikation und Synthese für Mehrspieler-Spiele auf gewichteten Graphen werden untersucht.
