Kolloquiumsvortrag, Dr. Patrick Totzke / Laboratory for Foundations of Computer Science at Edinburgh/ am 15.12.2017

15.12.2017 von 14:15 bis 15:45

Institut für Informatik, Ludewig-Meyn-Straße 2, 24118 Kiel, Raum: Übungsraum 2/K

Titel: Combined Objectives in Simple Stochastic Games

Abstract: SSG are turn-based, perfect information games where states are controlled by Adam, Eve or a randomized environment. The two opposing players compete to maximize/minimize the probability of a given winning condition (the objective of the game). I will outline a line of research that considers combinations of objectives classically studied for the verification of reactive systems, such as Parity, Mean-Payoff or limit-reward criteria. The aim is to determine under which conditions, to what extend, and with how much extra effort a player can achieve multiple objectives simultaneously. Time permitting, I will outline a recent result that exposes a subtle bug in the literature and shows how to fix it.

Prof. Nowotka

Diesen Termin meinem iCal-Kalender hinzufügen