| Status | Pågående |
|---|---|
| Gällande start-/slutdatum | 01/01/2020 → 31/12/2022 |
Vetenskapsgrenar
- 113 Data- och informationsvetenskap
Symbolic Techniques for Formally Verified and Explainable AI
- Järvisalo, Matti (PI)
| Status | Pågående |
|---|---|
| Gällande start-/slutdatum | 01/01/2020 → 31/12/2022 |