default search action

combined dblp search
author search
venue search
publication search

ask others

"Software Verification and Formal Methods for ML-Enabled Autonomous Systems ..."

Omri Isac et al. (2022)

> Home

SPARQL queries

Details and statistics

DOI: 10.1007/978-3-031-21222-2

access: closed

type: Editorship

metadata version: 2022-12-16

Open Alex

- view
  authority control:
- export record
  dblp key:
  - conf/cav/2022nsv
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2022nsv
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, 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. Lecture Notes in Computer Science 13466, Springer 2022, ISBN 978-3-031-21221-5 [contents]

Please note: Providing information about references and citations is only possible thanks to to the open metadata APIs provided by crossref.org and opencitations.net. If citation data of your publications is not openly available yet, then please consider asking your publisher to release your citation data to the public. For more information please see the Initiative for Open Citations (I4OC). Please also note that there is no way of submitting missing references or citation data directly to dblp.

Please also note that this feature is work in progress and that it is still far from being perfect. That is, in particular,

the lists below may be incomplete due to unavailable citation data,
reference strings may not have been successfully mapped to the items listed in dblp, and
we do not have complete and curated metadata for all items given in these lists.

JavaScript is requires in order to retrieve and display any references and citations for this record.

References

Cited by

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.