State Abstraction on Multi-Goal
1,600Abstract State CountNo Abstraction
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| No Abstraction2026.05 | 1,600 | 100 | |
| Bisim.-ε2026.05 | 1,583 | 99.8 | |
| DeepMDP2026.05 | 280 | 96.5 | |
| Louvain2026.05 | 40 | 99 | |
| Spectral2026.05 | 35 | 99 | |
| METIS2026.05 | 32 | 99.1 | |
| Tangle-Core2026.05 | 8 | 99.1 |