( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modelling, Reduction and Analysis of Markov Automata.

, , , , и . QEST, том 8054 из Lecture Notes in Computer Science, стр. 55-71. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Joost-Pieter Katoen

Pieter Wolter

Pieter Zwieten

Pieter Ploumen

Pieter Dingeldey

 

Другие публикации лиц с тем же именем

Towards a Logic for Performance and Mobility., , , и . QAPL, том 153 из Electronic Notes in Theoretical Computer Science, стр. 161-175. Elsevier, (2005)Latticed k-Induction with an Application to Probabilistic Programs., , , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 524-549. Springer, (2021)Various Ways to Quantify BDMPs., , , и . MARS@ETAPS, том 316 из EPTCS, стр. 1-14. (2020)Out of Control: Reducing Probabilistic Models by Control-State Elimination., , и . CoRR, (2020)Tweaking the Odds in Probabilistic Timed Automata., , , и . QEST, том 12846 из Lecture Notes in Computer Science, стр. 39-58. Springer, (2021)POMDP Controllers with Optimal Budget., , и . QEST, том 13479 из Lecture Notes in Computer Science, стр. 107-130. Springer, (2022)Code Generation = A* + BURS., , , и . CC, том 1060 из Lecture Notes in Computer Science, стр. 160-176. Springer, (1996)Quantitative Verification in Practice., , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 127. Springer, (2010)Parametric LTL on Markov Chains., и . IFIP TCS, том 8705 из Lecture Notes in Computer Science, стр. 207-221. Springer, (2014)Advances in Probabilistic Model Checking.. VMCAI, том 5944 из Lecture Notes in Computer Science, стр. 25. Springer, (2010)