Author of the publication

A Tutorial on Interactive Markov Chains.

, , , and . ROCKS, volume 8453 of Lecture Notes in Computer Science, page 26-66. Springer, (2012)

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.

 

Other publications of authors with the same name

Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics., and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 395-409. Springer, (2012)Compositional Metric Reasoning with Probabilistic Process Calculi., , and . FoSSaCS, volume 9034 of Lecture Notes in Computer Science, page 230-245. Springer, (2015)SOS specifications for uniformly continuous operators., and . J. Comput. Syst. Sci., (2018)SOS rule formats for convex and abstract probabilistic bisimulations., , and . EXPRESS/SOS, volume 190 of EPTCS, page 31-45. (2015)On Abstraction of Probabilistic Systems., , , and . ROCKS, volume 8453 of Lecture Notes in Computer Science, page 87-116. Springer, (2012)Modal Decomposition on Nondeterministic Probabilistic Processes., , and . CONCUR, volume 59 of LIPIcs, page 36:1-36:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators., and . CONCUR, volume 42 of LIPIcs, page 155-168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules., , and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 289-303. Springer, (2014)Behavioural Pseudometrics for Nondeterministic Probabilistic Systems., , and . Sci. Ann. Comput. Sci., 32 (2): 211-254 (2022)