Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework

Bibliographische Detailangaben

Veröffentlicht in:	SOFL+MSVL (9. : 2019 : Shenzhen) Structured object-oriented formal language and method
1. Verfasser:	Wang, Xiaobing (VerfasserIn)
Weitere Verfasser:	Yang, Kun (VerfasserIn), Wang, Yanmei (VerfasserIn), Zhao, Liang (VerfasserIn), Shu, Xinfeng (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!