2023-01-022023-01-02https://publica.fraunhofer.de/handle/publica/430440International Workshop on Formal Methods for ML-Enabled Autonomous Systems 2022