PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Buchholz, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Analysis of Markov Decision Processes Under Parameter Uncertainty.

, , and . EPEW, volume 10497 of Lecture Notes in Computer Science, page 3-18. Springer, (2017)

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.

Elke Peter University of Stuttgart

Univ. -Prof. Dr. Rene Peters University of Stuttgart

Hon. -Prof. Dr. Stefan Buchholz University of Stuttgart

Dr. Tino Buchholz University of Stuttgart

Bernd Peters University of Stuttgart

 

Other publications of authors with the same name

Efficient Computation and Representation of Large Reachability Sets for Composed Automata., and . Discrete Event Dynamic Systems, 12 (3): 265-286 (2002)OPEDo: a tool for the optimization of performance and dependability models., , and . SIGMETRICS Performance Evaluation Review, 36 (4): 22-27 (2009)Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations., and . SIAM J. Scientific Computing, 26 (4): 1289-1313 (2005)A Simulation Environment for Hierarchical Process Chains Based on OMNeT++., , , and . Simulation, 86 (5-6): 291-309 (2010)Bounding reward measures of Markov models using the Markov decision processes.. Numerical Lin. Alg. with Applic., 18 (6): 919-930 (2011)Light robustness in the optimization of Markov decision processes with uncertain parameters., and . Computers & OR, (2019)Weak Bisimulation for (max/+) Automata and Related Models., and . Journal of Automata, Languages and Combinatorics, 8 (2): 187-218 (2003)Rational Processes Related to Communicating Markov Processes., and . J. Applied Probability, 49 (1): 40-59 (2012)Behavioural equivalences for fluid stochastic Petri nets., and . CoRR, (2017)A New Approach Combining Simulation and Randomization for the Analysis of Large Continuous Time Markov Chains.. ACM Trans. Model. Comput. Simul., 8 (2): 194-222 (1998)