( en | de | ru )

 

Disambiguierung von "Katoen, Joost-Pieter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Complexity of Reachability in Parametric Markov Decision Processes.

, , , und . CONCUR, Volume 140 von LIPIcs, Seite 14:1-14:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

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 Dingeldey

Pieter Wolter

Pieter Zwieten

 

Weitere Publikationen von Autoren mit dem selben Namen

Out of Control: Reducing Probabilistic Models by Control-State Elimination., , und . CoRR, (2020)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)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , und . UAI, Seite 519-529. AUAI Press, (2018)Exponentially timed SADF: Compositional semantics, reductions, and analysis., und . EMSOFT, Seite 1:1-1:10. ACM, (2014)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)Parametric LTL on Markov Chains., und . IFIP TCS, Volume 8705 von Lecture Notes in Computer Science, Seite 207-221. Springer, (2014)Code Generation = A* + BURS., , , und . CC, Volume 1060 von Lecture Notes in Computer Science, Seite 160-176. Springer, (1996)Advances in Probabilistic Model Checking.. VMCAI, Volume 5944 von Lecture Notes in Computer Science, Seite 25. Springer, (2010)