Projekt per år
Projekt
- 1 Slutfört
Sökresultat
-
Slutfört
Symbolic Techniques for Formally Verified and Explainable AI
01/01/2020 → 31/12/2022
Projekt: Forskningsprojekt
Kari Rantanen, Antti Hyttinen, Matti Järvisalo
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
01/01/2020 → 31/12/2022
Projekt: Forskningsprojekt