Publications

Here you can download the KI Wissen public deliverables.

Public deliverables

Scientific contributions and publications from KI Wissen are listed below:

Dominik Grundt, Sorin Liviu Jurj: Verification of Sigmoidal Artificial Neural Networks using iSAT. Presented at: 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT.

Here the public KI Wissen presentations are listed.

November 2, 2020

Here you can find more project material.

November 2, 2020

Here you can find our press kit.

November 2, 2020