Statistische unbegrenzte Überprüfung

• Antragsteller: Professor Jan Kretinsky, Ph.D.
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2017 bis 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 383882557

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