2022-11-092022-11-09https://publica.fraunhofer.de/handle/publica/428516Workshop on Formal Verification of Machine Learning 2022