Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems

Novel approach using inductive invariants for NNCS safety verification.