( en | de | ru )

 

Disambiguierung von "Katoen, Joost-Pieter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Motion Planning under Partial Observability using Game-Based Abstraction.

, , , , , , und . CoRR, (2017)

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

Partial Order Models for Quantitative Extensions of LOTOS., , , und . Comput. Networks, 30 (9-10): 925-950 (1998)Approximate Model Checking of Stochastic Hybrid Systems., , , und . Eur. J. Control, 16 (6): 624-641 (2010)Pattern-matching algorithms based on term rewrite systems., und . Theor. Comput. Sci., 238 (1-2): 439-464 (2000)Automatically Finding the Right Probabilities in Bayesian Networks., und . J. Artif. Intell. Res., (2023)Generative Datalog with Continuous Distributions., , , und . J. ACM, 69 (6): 46:1-46:52 (2022)Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)., , , und . Dagstuhl Reports, 8 (3): 74-93 (2018)Guest editors' introduction: quantitative analysis of real-time embedded systems., , und . Int. J. Softw. Tools Technol. Transf., 8 (6): 605-606 (2006)Guest editors' introduction: Advancements and extensions of verification techniques., und . Int. J. Softw. Tools Technol. Transf., 6 (2): 99-101 (2004)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)