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
The project aims to enhance the verification of strategic interactions in complex systems by exploring different modeling approaches. It seeks to improve the understanding of component interactions and knowledge representation for better system analysis.
Verification is an important technique to ensure quality of a system and detect scenarios in which requirements can be violated.
For complex systems with multiple interacting components, one of the crucial requirements is a component's ability to achieve a given goal.
However, verification of strategic abilities is computationally hard, and the existing model checking algorithms cope with it only partially.
This applies especially to systems where components have limited knowledge of the global…
Instytut Podstaw Informatyki Polskiej Akademii Nauk
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.
