PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Katoen, Joost-Pieter"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis in pMDPs: A Tale of 1001 Parameters.

, , , , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 160-176. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

Prof. Dr. Pieter Anne Vermeer University of Stuttgart

 

Other publications of authors with the same name

An industrial-strength formal method -- A Modest survey., , , , and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 284-295. Department of Computer Science, University of Cyprus, (2004)A Parallel program for the recognition of P-Invariant segments., and . Algorithms and Parallel VLSI Architectures, page 79-84. Elsevier, (1991)Permissive Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , and . CoRR, (2017)Model-checking large structured Markov chains., , , and . J. Log. Algebr. Program., 56 (1-2): 69-97 (2003)A Design Model for Open Distributed Processing Systems., , , and . Computer Networks and ISDN Systems, 27 (8): 1263-1285 (1995)Beyond Memoryless Distributions: Model Checking Semi-Markov Chains., , and . PAPM-PROBMIV, volume 2165 of Lecture Notes in Computer Science, page 57-70. Springer, (2001)Automated compositional Markov chain generation for a plain-old telephone system., and . Sci. Comput. Program., 36 (1): 97-127 (2000)Comparative branching-time semantics for Markov chains., , , and . Inf. Comput., 200 (2): 149-214 (2005)A theory of stochastic systems part I: Stochastic automata., and . Inf. Comput., 203 (1): 1-38 (2005)A theory of Stochastic systems. Part II: Process algebra., and . Inf. Comput., 203 (1): 39-74 (2005)