Projektin yksityiskohdat
| Tila | Käynnissä |
|---|---|
| Todellinen alku/loppupvm | 01/01/2020 → 31/12/2022 |
Tieteenalat
- 113 Tietojenkäsittely- ja informaatiotieteet
Symbolic Techniques for Formally Verified and Explainable AI
- Järvisalo, Matti (Vastuullinen tutkija)
| Tila | Käynnissä |
|---|---|
| Todellinen alku/loppupvm | 01/01/2020 → 31/12/2022 |