Autor:	Bensalem, Saddek, Cheng, Chih-Hong, Huang, Xiaowei, Katsaros, Panagiotis, Molin, Adam, Nickovic, Dejan, Peled, Doron
Rok vydání:	2022
Zdroj:	Lecture Notes in Computer Science ISBN: 9783031212215 Lecture Notes in Computer Science Lecture Notes in Computer Science-Software Verification and Formal Methods for ML-Enabled Autonomous Systems
ISSN:	0302-9743 1611-3349
DOI:	10.1007/978-3-031-21222-2_8
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::11228a46e7f85c2181e9f7478d4bbd18 https://doi.org/10.1007/978-3-031-21222-2_8 Zobrazit plný text záznamu