( en | de | ru )

 

Disambiguierung von "Katoen, Joost-Pieter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Weakest Preexpectation Semantics for Bayesian Inference.

, und . CoRR, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Joost-Pieter Katoen

Pieter Wolter

Pieter Zwieten

Pieter Ploumen

Pieter Dingeldey

 

Weitere Publikationen von Autoren mit dem selben Namen

The Probabilistic Model Checker Storm (Extended Abstract)., , , und . CoRR, (2016)Scenario-Based Verification of Uncertain MDPs., , , , und . CoRR, (2019)Relatively Complete Verification of Probabilistic Programs., , , und . CoRR, (2020)Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence., und . SETSS, Volume 12154 von Lecture Notes in Computer Science, Seite 44-121. Springer, (2019)Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs., , , und . Proc. ACM Program. Lang., 8 (POPL): 2792-2820 (Januar 2024)Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods., , , und . SAS, Volume 6337 von Lecture Notes in Computer Science, Seite 390-406. Springer, (2010)Probabilistic Programming: A True Verification Challenge.. ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 1-3. Springer, (2015)Towards Trustworthy Aerospace Systems: An Experience Report.. FMICS, Volume 6959 von Lecture Notes in Computer Science, Seite 1-4. Springer, (2011)Inferring Covariances for Probabilistic Programs., , und . QEST, Volume 9826 von Lecture Notes in Computer Science, Seite 191-206. Springer, (2016)Parameter-Independent Strategies for pMDPs via POMDPs., , , , und . QEST, Volume 11024 von Lecture Notes in Computer Science, Seite 53-70. Springer, (2018)