VeRAPAk: Distributed Counterexample Generation via Iterative Neural Network Verification and Falsification

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autores principales:	DenBleyker, Bennett, Davis, Mason, Smith, Joshua, Swaminathan, Viswanathan, Zhang, Zhen
Formato:	Recurso digital
Publicado:	Zenodo 2026
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Sea el primero en dejar un comentario!

Ejemplares similares