Structural Certification Filtering on Atari-based environment (|S|=100, |A|=5, T=20000) (test)
0.056Tightnessstructural certification (Ours)
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| structural certification (Ours)Filter threshold (Delta_f)=0.10, Horizon (n)=102026.06 | 0.056 | 57.3 | 0.024 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.08, Horizon (n)=102026.06 | 0.057 | 52.7 | 0.024 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.05, Horizon (n)=102026.06 | 0.058 | 44.9 | 0.025 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.03, Horizon (n)=102026.06 | 0.06 | 38.6 | 0.026 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.01, Horizon (n)=102026.06 | 0.061 | 31.2 | 0.028 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.10, Horizon (n)=202026.06 | 0.063 | 45.2 | 0.027 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.08, Horizon (n)=202026.06 | 0.064 | 40.5 | 0.028 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.05, Horizon (n)=202026.06 | 0.066 | 33.8 | 0.029 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.03, Horizon (n)=202026.06 | 0.067 | 28.1 | 0.03 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.01, Horizon (n)=202026.06 | 0.069 | 22.5 | 0.032 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.10, Horizon (n)=502026.06 | 0.076 | 34.5 | 0.035 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.08, Horizon (n)=502026.06 | 0.077 | 30.1 | 0.036 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.05, Horizon (n)=502026.06 | 0.079 | 24.2 | 0.037 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.03, Horizon (n)=502026.06 | 0.081 | 19.7 | 0.039 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.01, Horizon (n)=502026.06 | 0.083 | 14.8 | 0.041 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.10, Horizon (n)=1002026.06 | 0.089 | 26.1 | 0.045 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.08, Horizon (n)=1002026.06 | 0.091 | 22.8 | 0.046 | |
| structural certification (Ours)Filter threshold (Delta_f)=0.05, Horizon (n)=1002026.06 | 0.093 | 17.6 | 0.048 | |
| RichensFilter threshold (Delta_f)=0.10, Horizon (n)=102026.06 | 0.094 | — | — | |
| structural certification (Ours)Filter threshold (Delta_f)=0.03, Horizon (n)=1002026.06 | 0.095 | 13.4 | 0.05 | |
| RichensFilter threshold (Delta_f)=0.08, Horizon (n)=102026.06 | 0.095 | — | — | |
| RichensFilter threshold (Delta_f)=0.05, Horizon (n)=102026.06 | 0.097 | — | — | |
| structural certification (Ours)Filter threshold (Delta_f)=0.01, Horizon (n)=1002026.06 | 0.098 | 9.6 | 0.053 | |
| RichensFilter threshold (Delta_f)=0.03, Horizon (n)=102026.06 | 0.099 | — | — | |
| RichensFilter threshold (Delta_f)=0.01, Horizon (n)=102026.06 | 0.101 | — | — | |
| RichensFilter threshold (Delta_f)=0.10, Horizon (n)=202026.06 | 0.106 | — | — | |
| RichensFilter threshold (Delta_f)=0.08, Horizon (n)=202026.06 | 0.107 | — | — | |
| RichensFilter threshold (Delta_f)=0.05, Horizon (n)=202026.06 | 0.109 | — | — | |
| RichensFilter threshold (Delta_f)=0.03, Horizon (n)=202026.06 | 0.111 | — | — | |
| RichensFilter threshold (Delta_f)=0.01, Horizon (n)=202026.06 | 0.113 | — | — | |
| RichensFilter threshold (Delta_f)=0.10, Horizon (n)=502026.06 | 0.123 | — | — | |
| RichensFilter threshold (Delta_f)=0.08, Horizon (n)=502026.06 | 0.124 | — | — | |
| RichensFilter threshold (Delta_f)=0.05, Horizon (n)=502026.06 | 0.127 | — | — | |
| RichensFilter threshold (Delta_f)=0.03, Horizon (n)=502026.06 | 0.129 | — | — | |
| RichensFilter threshold (Delta_f)=0.01, Horizon (n)=502026.06 | 0.132 | — | — | |
| RichensFilter threshold (Delta_f)=0.10, Horizon (n)=1002026.06 | 0.141 | — | — | |
| RichensFilter threshold (Delta_f)=0.08, Horizon (n)=1002026.06 | 0.143 | — | — | |
| RichensFilter threshold (Delta_f)=0.05, Horizon (n)=1002026.06 | 0.145 | — | — | |
| RichensFilter threshold (Delta_f)=0.03, Horizon (n)=1002026.06 | 0.148 | — | — | |
| RichensFilter threshold (Delta_f)=0.01, Horizon (n)=1002026.06 | 0.151 | — | — |