Next event

26/08/2026

TechBBQ 2026

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 solution finder – Toolbox Lean 4.0

Study

Report with recommendations and profiles of identified solution elements

Target Audience

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

Set-up for AI solution testing

Experiment, Study, Test

Documentation + summary report

Target Audience

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