( en | de | ru )

 

Disambiguierung von "Katoen, Joost-Pieter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Search and Explore: Symbiotic Policy Synthesis in POMDPs.

, , , , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 113-135. Springer, (2023)

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 Dingeldey

Pieter Ploumen

 

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)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)IC3 software model checking., , , und . Int. J. Softw. Tools Technol. Transf., 22 (2): 135-161 (2020)Out of Control: Reducing Probabilistic Models by Control-State Elimination., , und . CoRR, (2020)Various Ways to Quantify BDMPs., , , und . MARS@ETAPS, Volume 316 von EPTCS, Seite 1-14. (2020)Latticed k-Induction with an Application to Probabilistic Programs., , , , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 524-549. Springer, (2021)Towards a Logic for Performance and Mobility., , , und . QAPL, Volume 153 von Electronic Notes in Theoretical Computer Science, Seite 161-175. Elsevier, (2005)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , und . UAI, Seite 519-529. AUAI Press, (2018)POMDP Controllers with Optimal Budget., , und . QEST, Volume 13479 von Lecture Notes in Computer Science, Seite 107-130. Springer, (2022)Tweaking the Odds in Probabilistic Timed Automata., , , und . QEST, Volume 12846 von Lecture Notes in Computer Science, Seite 39-58. Springer, (2021)