Omri Isac

Bücher
Software Verification and Formal Methods for ML-Enabled Autonomous Systems Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
2022