ResearchTrend.AI
Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes

Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes

Carlos Trapiello
C. Combastel
A. Zolghadri
ArXiv (abs)PDFHTML

Papers citing "Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes"

1 / 1 papers shown
Title
Neuro-Symbolic AI: Explainability, Challenges, and Future Trends
Neuro-Symbolic AI: Explainability, Challenges, and Future Trends
Xin Zhang
Victor S. Sheng
AI4TS
70
6
0
07 Nov 2024