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
InOVation&CS focuses on improving the reliability of software in cyber-physical systems through advanced verification techniques. It aims to integrate artificial intelligence in controller synthesis to enhance scalability and ensure correctness.
Software making decisions or controlling cyber-physical systems is ubiquitous, hence its correctness is of paramount importance.
While the increasing complexity makes manual implementation extremely error-prone, verification can provide formal guarantees on correctness.
Verification of hardware and software has seen many successes and industrialization, making systems safe and reliable and their development more efficient.
Controller synthesis goes one step further and avoids the manual implemen…
Masarykova univerzita
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.
Guests see up to 5 keywords.
