Statistische unbegrenzte Überprüfung

Dieses Projekt wird formale Methoden zur Verifikation von probabilistischen Systemen mit der Hilfe der Simulationen entwickeln. Insbesondere werden Algorithmen zur statistischen Modellprüfung großer und / oder unbekannter Markov-Ketten und Markov-Entscheidungsprozesse auf verschiedene Ziele mit im Allgemeinen unbegrenztem Horizont, ein theoretisch anspruchsvolles und praktisch relevantes Problem, zur Verfügung gestellt. Der Schwerpunkt liegt dabei auf linearer zeitlicher Logik, mittlerer Auszahlung und linearen Abständen.

DFG-Verfahren Sachbeihilfen