gefundene Verfasser Narodytska, N.

Narodytska, Nina
Katz, Guy
Isac, Omri
Ivanov, Radoslav
Nenzi, Laura
Alle anzeigen »
Avni, Guy
Giacobbe, Mirco
International Conference on Formal Methods in Computer-Aided Design Prag
International Workshop on Formal Methods for ML-Enabled Autonomous Systems
Johnson, Taylor T.

Treffer 1 - 4 von 4 für Suche 'Narodytska, N.', Suchdauer: 0,20s Treffer weiter einschränken
  1. 1
    Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

    Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

    Veröffentlicht 2024
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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

    Software Verification and Formal Methods for ML-Enabled Autonomous Systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 3...

    Veröffentlicht 2022

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    AI Verification First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

    AI Verification First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

    Veröffentlicht 2024

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    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

    Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 3...

    Veröffentlicht 2022
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: