Завантажити Linnk AI
•
Помічник з досліджень
>
Увійти
ідея
-
NNCS Safety Verification
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
Novel approach using inductive invariants for NNCS safety verification.
1