Skip to main content
RISE logo

Certification of AI models

RISE develops methods for certification and verification of AI models with respect to both security and functionality.

Applications of Artificial Intelligence have made inroads into several areas of society. In particular, this applies to safety-critical domains such as autonomous vehicles, energy systems and the medical sector. This will lead to an increased demand for testing and verification of AI systems. To meet this need, RISE develops methods for machine-assisted verification of AI models with respect to both security and functionality of models.

Some properties are required only a region of the input domain. A ReLU network can be employed to transform simple constraints to more complex ones.


Applications range from computer vision in autonomous vehicles to control systems and language models. In this project, we examine requirements for control systems with an AI model component that controls for instance a machine, robot or manufacturing process. Verification can be used to ensure that the control module is robust and stable during normal as well as extraordinary scenarios.


RISE develops prototyping tools for verification of AI models to be used in combination with available open source software. The methodology is validated in the project through a number of case studies. With the project, we bring verification of AI models from academic research closer to industry, business and society and reinforce our competence in the area.


Project name

Certification of AI models




Region Stockholm

RISE role in project

Project leader.

Project start



Total budget

1 000 000 SEK

Project members

David Eklund

Contact person

David Eklund

Senior Forskare

+46 10 228 42 16

Read more about David

Contact David
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.

* Mandatory By submitting the form, RISE will process your personal data.