( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Finite-State Controllers of POMDPs using Parameter Synthesis.

, , , , , , и . UAI, стр. 519-529. AUAI Press, (2018)

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 Ploumen

Pieter Wolter

Pieter Zwieten

Pieter Dingeldey

 

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

Parametric LTL on Markov Chains., и . IFIP TCS, том 8705 из Lecture Notes in Computer Science, стр. 207-221. Springer, (2014)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)Advances in Probabilistic Model Checking.. VMCAI, том 5944 из Lecture Notes in Computer Science, стр. 25. Springer, (2010)Code Generation Based on Formal BURS Therory and Heuristic Search., и . Acta Inf., 34 (8): 597-635 (1997)Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST)., , и . IEEE Trans. Software Eng., 32 (8): 529-530 (2006)Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard., и . CoRR, (2014)IC3 software model checking., , , и . 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., , и . SAFECOMP, том 9922 из Lecture Notes in Computer Science, стр. 253-265. Springer, (2016)Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks., , , и . Distributed Comput., 9 (4): 157-171 (1996)