Personal tools

Quantitative Analyses, cont.

From PUMA Graduiertenkolleg

Jump to: navigation, search

In this sub-project, we continue our research in this important area. In particular, we plan to deepen our understanding of the analysis of probabilistic systems.