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 investigates the complexity of infinite-duration games on graphs, aiming to improve algorithms for error detection in programs and system integration. It explores the transferability of advancements in game-solving techniques across different types of games, focusing on both theoretical and practical appli…
When trying to find errors in programs, or to show that none remain, when trying to automatically produce protocol adapters that guarantee that systems seamlessly work together, and when checking if a specifications can be implemented, algorithm that solve infinite-duration games on graphs do the lion's share of the work.
These are games with winning condition that range from parity through mean- or discounted payoff to simple stochastic reachability.These games are connected by a chain of reduc…
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.
