HSCC2023 N4_4 (#156)

Author: csw94056

code/nnv/examples/Submission/HSCC2023/N_4_4/verify_N4_4_full.m

@@ -47,7 +47,7 @@
 
 eps = 0.01; % adversarial disturbance bound: |xi' - xi| <= eps
 Tmax = [2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20];
-TimeOut_Tmax = 15; 
+TimeOut_Tmax = 20; 
 N = length(Tmax);
 rb1 = cell(M,N);
 vt1 = Inf(M,N);