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 explores the composition of automata to enhance the verification and synthesis of reactive systems. It focuses on Good for Games nondeterministic automata and their application in simplifying algorithms for model-checking and synthesis without the need for determinisation.
Composition is a key technique in automata theory, used in particular in the model-checking, realisability analysis and automatic synthesis of reactive systems.
Typically, when it comes to composition, deterministic automata are used as they behave well when composed with other automata or games.
However, determinisation is notoriously complex, both conceptually and computationally.
One approach to avoiding determinisation is the notion of Good for Games (GFG) nondeterministic automata, which, d…
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.
