SOURCE-LINKED INTELLIGENCE

Intelligence-Oriented Verification&Controller Synthesis

CORDIS · observation · Publication date unknown

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 scalable solutions to decision making, but at the cost of their reliability, making their verification even more pressing. Besides, the use of AI/ML gives rise to fundamentally new challeges since models, properties and controllers are now often based on data rather than design. Due to their “black-box” nature, the resulting systems are (i) even harder to verify, and (ii) not explainable enough to be responsibly deployed. The PI has been pioneering the use of learning in verification to bring together the best of both worlds, scalability and reliability. The main objective of InOVation&CS is to utilize the power of learning in verification and controller-synthesis to overcome both the traditional scalability challenges as well as the recent, data-driven ones. The key to bringing the two closer than ever is a paradigm shift to

Read original source ↗ Open in workspace

recordType

award

status

SIGNED

region

EU

value

1995000

unit

EUR