Projects per year
Projects
- 1 Finished
Search results
-
Finished
Symbolic Techniques for Formally Verified and Explainable AI
01/01/2020 → 31/12/2022
Project: Research project
Kari Rantanen, Antti Hyttinen, Matti Järvisalo
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
01/01/2020 → 31/12/2022
Project: Research project