GitHub repository: rogoncalo/VFRNP4UAVs
Primary language: Python
Created: 2024-03-19T00:10:30Z
Description: Verificação Formal de Redes Neuronais Profundas em Contexto de Controlo de UAVs