E-LIB Suche - Ergebnisse für: Katz, Guy - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

AI Verification: First International Symposium, SAIV 2024, ..

Lecture Notes in Computer Science, 14846

Avni, Guy ; Giacobbe, Mirco ; Johnson, Taylor T... - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

2

Software Verification and Formal Methods for ML-Enabled Aut..

Lecture Notes in Computer Science, 13466

Isac, Omri ; Ivanov, Radoslav ; Katz, Guy.. - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

1-2