- Standort
-
Hannover TIB
- Umfang
-
205MB, 00:16:59:27 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (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
-
Spel, Jip
Junges, Sebastian
Katoen, Joost-Pieter
- DOI
-
10.5446/54978
- 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
- Spel, Jip
- Junges, Sebastian
- Katoen, Joost-Pieter
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Finding Provably Optimal Markov Chains
Markov chains
Finite Markov chains
Markov set chains
Perturbed Markov Chains
Denumerable Markov chains
Approximating countable Markov chains
Optimal claiming strategies in Bonus Malus systems and implied Markov chains
Markov Chain Monte Carlo Technology
Probabilistic causes in Markov chains
On Markov Chains and Filtrations
Markov chains and stochastic stability
Finding Provably Optimal Markov Chains
Markov chains
Finite Markov chains
Markov set chains
Perturbed Markov Chains
Denumerable Markov chains
Approximating countable Markov chains
Optimal claiming strategies in Bonus Malus systems and implied Markov chains
Markov Chain Monte Carlo Technology
Probabilistic causes in Markov chains
On Markov Chains and Filtrations
Markov chains and stochastic stability
Finding Provably Optimal Markov Chains
Markov chains
Finite Markov chains
Markov set chains
Perturbed Markov Chains
Denumerable Markov chains
Approximating countable Markov chains
Optimal claiming strategies in Bonus Malus systems and implied Markov chains
Markov Chain Monte Carlo Technology
Probabilistic causes in Markov chains
On Markov Chains and Filtrations