- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
RWTH Aachen University, Bachelorarbeit, 2020
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2020
- Urheber
-
Le, Dan-Tuong
- Beteiligte Personen und Organisationen
- DOI
-
10.18154/RWTH-2020-06326
- URN
-
urn:nbn:de:101:1-2020082707514044315122
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:52 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Le, Dan-Tuong
- Moerman, Joshua
- Katoen, Joost-Pieter
- Noll, Thomas
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2020
Ähnliche Objekte (12)
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Learning probabilistic automata with SMT solving
Automata-based model checking of recursive systems
Model checking pPDA vs unambiguous automata
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs
Compositional control-flow reduction for probabilistic model checking
Synthesizing FDIR recovery strategies for space systems
Most probable explanations in Bayesian Networks via weighted programming
Proving termination of pointer programs on top of symbolic execution
Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Learning probabilistic automata with SMT solving
Automata-based model checking of recursive systems
Model checking pPDA vs unambiguous automata
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs
Compositional control-flow reduction for probabilistic model checking
Synthesizing FDIR recovery strategies for space systems
Most probable explanations in Bayesian Networks via weighted programming
Proving termination of pointer programs on top of symbolic execution
Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Learning probabilistic automata with SMT solving
Automata-based model checking of recursive systems
Model checking pPDA vs unambiguous automata
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs
Compositional control-flow reduction for probabilistic model checking
Synthesizing FDIR recovery strategies for space systems
Most probable explanations in Bayesian Networks via weighted programming
Proving termination of pointer programs on top of symbolic execution