StabilEdge, Formal Verification of Edge AI Applications
This paper addresses the critical need for AI trustworthiness in smart IoT systems by focusing on the stability of Deep Neural Networks (DNNs) in Edge AI. State-of-the-art model checkers guarantee feasibility of a single stability analysis. However, a comprehensive assessment requires multiple runs,...
I tiakina i:
| Ngā kaituhi matua: | , , , , |
|---|---|
| Hōputu: | Artigo |
| Reo: | Inglês |
| I whakaputaina: |
IEEE
2026-01-01
|
| Rangatū: | IEEE Access |
| Ngā marau: | |
| Urunga tuihono: | https://ieeexplore.ieee.org/document/11411672/ |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|