Isac, Omri2023-01-022023-01-022022978-3-031-21221-5978-3-031-21222-2978-3-031-21223-9https://publica.fraunhofer.de/handle/publica/43044310.1007/978-3-031-21222-2enSoftware Verification and Formal Methods for ML-Enabled Autonomous Systems