zweidimensionales bewegtes Bild
Farkas certificates and minimal witnesses for probabilistic reachability constraints
- Standort
-
Hannover TIB
- Umfang
-
23MB, 00:17:08:08 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Jantsch, Simon
Baier, Christel
Funke, Florian
- DOI
-
10.5446/55014
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Jantsch, Simon
- Baier, Christel
- Funke, Florian
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Certificates and Witnesses for Probabilistic Model Checking
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
LIFE CERTIFICATES
Employment Certificates
Certificates Service
Disapproved Registration Certificates
Lancashire funeral Certificates
Verification witnesses
Table of Witnesses ("List of Witnesses") - endgültige Fassung
Prosecution Witnesses, Defense Witnesses. In chronologischer Reihenfolge (machinenschriftlich)
List of Witnesses in Maschinenschrift enthaltend: 1. Summary of Witnesses. 2. Prosecution Witnesses in Open Court. 3. Prosecution Witnesses before Commission. 4. Defense Witnesses in Open Court. 5. Defense Witnesses before Commission
International certificates of vaccination
Certificates and Witnesses for Probabilistic Model Checking
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
LIFE CERTIFICATES
Employment Certificates
Certificates Service
Disapproved Registration Certificates
Lancashire funeral Certificates
Verification witnesses
Table of Witnesses ("List of Witnesses") - endgültige Fassung
Prosecution Witnesses, Defense Witnesses. In chronologischer Reihenfolge (machinenschriftlich)
List of Witnesses in Maschinenschrift enthaltend: 1. Summary of Witnesses. 2. Prosecution Witnesses in Open Court. 3. Prosecution Witnesses before Commission. 4. Defense Witnesses in Open Court. 5. Defense Witnesses before Commission
International certificates of vaccination
Certificates and Witnesses for Probabilistic Model Checking
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
LIFE CERTIFICATES
Employment Certificates
Certificates Service
Disapproved Registration Certificates
Lancashire funeral Certificates
Verification witnesses
Table of Witnesses ("List of Witnesses") - endgültige Fassung
Prosecution Witnesses, Defense Witnesses. In chronologischer Reihenfolge (machinenschriftlich)
List of Witnesses in Maschinenschrift enthaltend: 1. Summary of Witnesses. 2. Prosecution Witnesses in Open Court. 3. Prosecution Witnesses before Commission. 4. Defense Witnesses in Open Court. 5. Defense Witnesses before Commission