Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi, editors, 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. Volume 13466 of Lecture Notes in Computer Science, Springer, 2022. [doi]
Conference: cav2022
@proceedings{cav-2022nsv,
title = {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},
year = {2022},
doi = {10.1007/978-3-031-21222-2},
url = {https://doi.org/10.1007/978-3-031-21222-2},
researchr = {https://researchr.org/publication/cav-2022nsv},
cites = {0},
citedby = {0},
booktitle = {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},
conference = {cav},
editor = {Omri Isac and Radoslav Ivanov and Guy Katz and Nina Narodytska and Laura Nenzi},
volume = {13466},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-21222-2},
}