ERC Consolidator Grant · 2024
Intelligence-Oriented Verification&Controller Synthesis
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 implementation, providing a correct-by-construction controller directly. Despite considerable advances, scalable solutions remain elusive here. Artificial intelligence and machine learning (AI/ML) provide…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.