@article{1451966,
      note = {Includes author index.},
      author = {Isac, Omri. and Ivanov, Radoslav. and Katz, Guy. and  Narodytska, Nina. and Nenzi, Laura.},
      url = {http://library.usi.edu/record/1451966},
      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 /. International Workshop on Software  Verification and Formal Methods for ML-Enables Autonomous  Systems},
      publisher = {Springer,},
      abstract = {This book constitutes the refereed proceedings of the 5th  International Workshop on Software Verification and Formal  Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and  the 15th International Workshop on Numerical Software  Verification, NSV 2022, which took place in Haifa, Israel,  in July/August 2022. The volume contains 8 full papers from  the FoMLAS 2022 workshop and 3 full papers from the NSV  2022 workshop. The FoMLAS workshop is dedicated to the  development of novel formal methods techniques to  discussing on how formal methods can be used to increase  predictability, explainability, and accountability of  ML-enabled autonomous systems. NSV 2022 is focusing on the  challenges of the verification of cyber-physical systems  with machine learning components.},
      doi = {https://doi.org/10.1007/978-3-031-21222-2},
      recid = {1451966},
      pages = {1 online resource (213 p.).},
      address = {Cham :},
      year = {2023},
}