Projekteja vuodessa
Projektit
- 1 Päättynyt
Hakutulokset
-
Päättynyt
Symbolic Techniques for Formally Verified and Explainable AI
01/01/2020 → 31/12/2022
Projekti: Tutkimusprojekti
Kari Rantanen, Antti Hyttinen, Matti Järvisalo
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
01/01/2020 → 31/12/2022
Projekti: Tutkimusprojekti