State Abstraction on Corridor-9
196Abstract State CountNo Abstraction
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| No Abstraction2026.05 | 196 | 100 | |
| Bisim.-ε2026.05 | 157 | 99.6 | |
| Louvain2026.05 | 92 | 99 | |
| Spectral2026.05 | 88 | 99 | |
| METIS2026.05 | 85 | 99.1 | |
| DeepMDP2026.05 | 48 | 97.2 | |
| Tangle-Core2026.05 | 9 | 99.2 |