CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project focuses on developing algorithmic methods for the formal analysis of stochastic models, which are crucial in various scientific fields. It aims to enhance the efficiency and scalability of these algorithms to improve the analysis of probabilistic systems and game-theoretic interactions.
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.…
INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 topics.
Guests see up to 5 keywords.
