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 aims to enhance the formal analysis of complex interacting systems, such as communication networks and embedded systems. By utilizing game theory, it seeks to develop algorithms that account for uncertainties and improve the synthesis of these systems.
The ubiquitous use of computerized systems, and their increasingcomplexity, demand formal evidences of their correctness.
Whilecurrent formal-verification techniques have already been applied to anumber of case studies, they are not sufficient yet to fully analyzeseveral aspects of complex systems such as communication networks,embedded systems or industrial controllers.
There are three importantcharacteristics of these systems which need to be tackled:- the rich interaction that crucially cons…
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
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 EuroSciVoc fields.
Guests see up to 5 topics.
