Symbolic Techniques for Formally Verified and Explainable AI

Projekti: Tutkimusprojekti

Projektin yksityiskohdat

TilaPäättynyt
Todellinen alku/loppupvm01/01/202031/12/2022

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet