Now open · EU consultation Share your views on AI adoption in manufacturing: open until 30 October 2026 Take the questionnaire  ›

Next event

18/11/2026

xTEF: From testing to market – the strategic role of TEFs in European Industry

AI-MATTERS
Get Started
AI-MATTERS

Category: Formal Methods

Country
Organisation
Category
Subcategory

AI Model Evaluation regarding Decision Logic and Shortcut Decisions via Explainable AI (XAI)

Experiment

Report with all identified shortcuts and errors in the decision logic and related countermeasures.

Target Audience

  • AI-User
Explore Service

AI solution finder – Toolbox Lean 4.0

Study

Report with recommendations and profiles of identified solution elements

Target Audience

  • Industrial engineers, systems engineers, manufacturing companies

Explore Service

Don't feel like browsing, but do want to get in contact?

Share your contact information and our project managers will get back to you!

Desk assessment of the proposed solution

Study

Documentation + summary report

Target Audience

  • AI-provider

Explore Service

Distribution Shift Robustness Audit

Test

Report describing model deployment robustness risks

Target Audience

  • Widely applicable

Explore Service

Set-up for AI solution testing

Experiment, Study, Test

Documentation + summary report

Target Audience

  • AI-Provider

Explore Service

Testing and runtime monitoring of AI systems in manufacturing

Test
  • Validation of system compliance to requirements, with insights in case identified (formal checkers); – Runtime monitor test results (runtime monitoring)

Target Audience

  • AI-based software for manufacturing Provider

Explore Service