Formal Methods for Robust Artificial Intelligence: State of the Art
Date
Wednesday, January 13, 2021
Location
🇳🇱 Lorentz Center, The Netherlands (remote)
