h1

h2

h3

h4

h5
h6
000911851 001__ 911851
000911851 005__ 20240926051152.0
000911851 0247_ $$aG:(GEPRIS)383882557$$d383882557
000911851 035__ $$aG:(GEPRIS)383882557
000911851 040__ $$aGEPRIS$$chttp://gepris.its.kfa-juelich.de
000911851 150__ $$aStatistische unbegrenzte Überprüfung$$y2017 - 2022
000911851 371__ $$aProfessor Dr. Jan Kretinsky, Ph.D.
000911851 450__ $$aDFG project G:(GEPRIS)383882557$$wd$$y2017 - 2022
000911851 5101_ $$0I:(DE-588b)2007744-0$$aDeutsche Forschungsgemeinschaft$$bDFG
000911851 680__ $$aDieses 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.
000911851 909CO $$ooai:juser.fz-juelich.de:965680$$pauthority$$pauthority:GRANT
000911851 909CO $$ooai:juser.fz-juelich.de:965680
000911851 980__ $$aG
000911851 980__ $$aAUTHORITY