External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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

Editors

Omri Isac

This author has not been identified. Look up 'Omri Isac' in Google

Radoslav Ivanov

This author has not been identified. Look up 'Radoslav Ivanov' in Google

Guy Katz

This author has not been identified. Look up 'Guy Katz' in Google

Nina Narodytska

This author has not been identified. Look up 'Nina Narodytska' in Google

Laura Nenzi

This author has not been identified. Look up 'Laura Nenzi' in Google
runs on