ERC Consolidator Grant · 2019
Formal Methods for Stochastic Models: Algorithms and Applications
The formal analysis of stochastic models plays an important role in different disciplines of science, e.g., probability theory, evolutionary stochastic processes in biology. In computer science, such models arise in formal verification of probabilistic systems, analysis of probabilistic programs, analysis of game-theoretic interactions with stochastic aspects, reasoning about randomized protocols, etc. At the heart of the analysis methods are algorithmic approaches that lead to automated tools. Despite significant and impressive research achievements over the decades, many fundamental algorithmic problems related to formal analysis of stochastic models remain open. Moreover, the emergence…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.