Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Nina Narodytska | lit.salon

Author

Nina Narodytska

NN

Author record

2 works

No biography is available yet.

Start with

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, Proceedings2023
With Omri Isac, Radoslav Ivanov, Guy Katz, Laura Nenzi
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings2024
With Guy Avni, Mirco Giacobbe, Anna Lukina

Books

2 works

Featured (0)Featured (0)All (2)All (2)

Search booksSort books

No featured works yet, so all works are shown.

AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings2024
With Guy Avni, Mirco Giacobbe, Anna Lukina
1 edition
shelves
0
reviews
0
lists
0
quotes
0
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, Proceedings2023
With Omri Isac, Radoslav Ivanov, Guy Katz, Laura Nenzi
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Nina Narodytska.

The conversation is still open.

There is no public salon activity to show for Nina Narodytska yet.