( en | de | ru )

 

Disambiguierung von "Katoen, Joost-Pieter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions.

, , , , , , und . IEEE Trans. Autom. Control., 66 (3): 1040-1054 (2021)

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

Quantitative Verification in Practice., , und . ISoLA (2), Volume 6416 von Lecture Notes in Computer Science, Seite 127. Springer, (2010)Advances in Probabilistic Model Checking.. VMCAI, Volume 5944 von Lecture Notes in Computer Science, Seite 25. Springer, (2010)Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks., , , und . Distributed Comput., 9 (4): 157-171 (1996)Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning., , , und . Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)Simple Strategies in Multi-Objective MDPs (Technical Report)., , , und . CoRR, (2019)Out of Control: Reducing Probabilistic Models by Control-State Elimination., , und . CoRR, (2020)Scenario-Based Verification of Uncertain Parametric MDPs., , , , , und . CoRR, (2021)Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development., , , , , und . CoRR, (2019)Exact Bayesian Inference for Loopy Probabilistic Programs., , , und . CoRR, (2023)Gradient-Descent for Randomized Controllers under Partial Observability., , , , und . CoRR, (2021)