StarV: A Qualitative and Quantitative Verification Tool for Learning-enabled Systems

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autores principales:	Tran, Dung, Choi, Sung Woo, Li, Yuntao, Liu, Qing, Okamoto, Hideki, Hoxha, Bardh, Fainekos, Georgios
Formato:	Recurso digital
Publicado:	Zenodo 2025
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet