( en | de | ru )

 

Disambiguierung von "Katoen, Joost-Pieter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Multi-cost Bounded Tradeoff Analysis in MDP.

, , , und . J. Autom. Reason., 64 (7): 1483-1522 (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 Ploumen

Pieter Wolter

Pieter Zwieten

Pieter Dingeldey

 

Weitere Publikationen von Autoren mit dem selben Namen

Advances in Probabilistic Model Checking.. VMCAI, Volume 5944 von Lecture Notes in Computer Science, Seite 25. Springer, (2010)Spacecraft early design validation using formal methods., , , , , , , , und . Reliab. Eng. Syst. Saf., (2014)A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions., , , , und . Formal Methods Syst. Des., 12 (2): 189-216 (1998)Gradient-Descent for Randomized Controllers under Partial Observability., , , , und . CoRR, (2021)Simple Strategies in Multi-Objective MDPs (Technical Report)., , , und . CoRR, (2019)Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development., , , , , und . CoRR, (2019)Code Generation Based on Formal BURS Therory and Heuristic Search., und . Acta Inf., 34 (8): 597-635 (1997)IC3 software model checking., , , und . Int. J. Softw. Tools Technol. Transf., 22 (2): 135-161 (2020)Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates., , und . SAFECOMP, Volume 9922 von Lecture Notes in Computer Science, Seite 253-265. Springer, (2016)Automated Termination Analysis of Polynomial Probabilistic Programs., , , und . CoRR, (2020)