International Workshop on Formal Methods for ML-Enabled Autonomous Systems, Isac, O., Ivanov, R., Katz, G., Narodytska, N., & Nenzi, L. (2022). Software verification and formal methods for ML-enabled autonomous systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)International Workshop on Formal Methods for ML-Enabled Autonomous Systems, Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, und Laura Nenzi. Software Verification and Formal Methods for ML-enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Cham: Springer, 2022.
MLA-Zitierstil (9. Ausg.)International Workshop on Formal Methods for ML-Enabled Autonomous Systems, et al. Software Verification and Formal Methods for ML-enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Springer, 2022.