h1

h2

h3

h4

h5
h6

001     911851
005     20240926051152.0
024 7 _ |a G:(GEPRIS)383882557
|d 383882557
035 _ _ |a G:(GEPRIS)383882557
040 _ _ |a GEPRIS
|c http://gepris.its.kfa-juelich.de
150 _ _ |a Statistische unbegrenzte Überprüfung
|y 2017 - 2022
371 _ _ |a Professor Dr. Jan Kretinsky, Ph.D.
450 _ _ |a DFG project G:(GEPRIS)383882557
|w d
|y 2017 - 2022
510 1 _ |a Deutsche Forschungsgemeinschaft
|0 I:(DE-588b)2007744-0
|b DFG
680 _ _ |a 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.
909 C O |o oai:juser.fz-juelich.de:965680
|p authority:GRANT
|p authority
909 C O |o oai:juser.fz-juelich.de:965680
980 _ _ |a G
980 _ _ |a AUTHORITY

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21