( en | de | ru )

 

Disambiguierung von "Katoen, Joost-Pieter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scenario-based verification of uncertain parametric MDPs.

, , , , , und . Int. J. Softw. Tools Technol. Transf., 24 (5): 803-819 (2022)

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 Ploumen

Pieter Wolter

Pieter Zwieten

Pieter Dingeldey

 

Weitere Publikationen von Autoren mit dem selben Namen

Exponentially timed SADF: Compositional semantics, reductions, and analysis., und . EMSOFT, Seite 1:1-1:10. ACM, (2014)Simple Strategies in Multi-Objective MDPs., , , und . TACAS (1), Volume 12078 von Lecture Notes in Computer Science, Seite 346-364. Springer, (2020)Inductive Synthesis for Probabilistic Programs Reaches New Horizons., , , und . TACAS (1), Volume 12651 von Lecture Notes in Computer Science, Seite 191-209. Springer, (2021)Generating Functions for Probabilistic Programs., , , , , und . LOPSTR, Volume 12561 von Lecture Notes in Computer Science, Seite 231-248. Springer, (2020)Out of Control: Reducing Probabilistic Models by Control-State Elimination., , und . CoRR, (2020)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , und . UAI, Seite 519-529. AUAI Press, (2018)Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext., , , , , , und . MBMV, Universität Tübingen, (2018)Automated Termination Analysis of Polynomial Probabilistic Programs., , , und . ESOP, Volume 12648 von Lecture Notes in Computer Science, Seite 491-518. Springer, (2021)Generative Datalog with Continuous Distributions., , , und . PODS, Seite 347-360. ACM, (2020)Quantitative Verification in Practice., , und . ISoLA (2), Volume 6416 von Lecture Notes in Computer Science, Seite 127. Springer, (2010)