| Letter Finite-horizon (full) | SEMLTL | Success Rate (SR)100 | | 19 | 2d ago |
| ZoneEnv Finite-horizon | DEEPLTL | Success Rate (SR)97 | | 18 | 2d ago |
| Zones Infinite-horizon (full) | DEEPLTL | µacc914 | | 14 | 2d ago |
| LetterWorld Finite-horizon | DEEPLTL | Success Rate (SR)100 | | 12 | 2d ago |
| Letter Infinite-horizon (full) | SEMLTL | µAcc7.13 | | 10 | 2d ago |
| ZoneEnv Infinite-horizon | SEMLTL | Accuracy (µacc)24.1 | | 4 | 2d ago |
| LetterWorld Infinite-horizon | SEMLTL | µAcc11.67 | | 4 | 2d ago |
| ChessWorld finite-horizon phi7 (test) | DeepLTL | Success Rate91.9 | | 3 | 4d ago |
| ChessWorld finite-horizon, phi6 (test) | LTL-GNN | Success Rate93.6 | | 3 | 4d ago |
| ChessWorld finite-horizon phi5 (test) | LTL-GNN | Success Rate74.3 | | 3 | 4d ago |
| ChessWorld finite-horizon phi4 (test) | LTL-GNN | SR0.927 | | 3 | 4d ago |
| ChessWorld finite-horizon phi3 (test) | LTL-GNN | SR82.6 | | 3 | 4d ago |
| ChessWorld finite-horizon phi2 (test) | LTL-GNN | Success Rate95.2 | | 3 | 4d ago |
| ChessWorld finite-horizon phi1 (test) | LTL-GNN | SR99.3 | | 3 | 4d ago |
| ChessWorld infinite-horizon ϕ∞ 2 | LTL-GNN | Success Rate0.767 | | 3 | 4d ago |
| ChessWorld infinite-horizon ϕ∞ 1 | LTL-GNN | Success Rate86 | | 3 | 4d ago |
| ChessWorld infinite-horizon ϕ∞ GF | DeepLTL | Success Rate95.7 | | 3 | 4d ago |
| ZoneEnv Infinite-horizon (test) | - | Accuracy (µacc)- | | 0 | 4d ago |
| LetterWorld Infinite-horizon (test) | - | Accuracy- | | 0 | 4d ago |
| ZoneEnv Finite-horizon (test) | - | Success Rate- | | 0 | 4d ago |
| LetterWorld Finite-horizon (test) | - | Success Rate- | | 0 | 4d ago |
| Zones Infinite-horizon | - | µAcc- | | 0 | 4d ago |
| Letter Infinite-horizon | - | µAcc- | | 0 | 4d ago |
| Zones Finite-horizon | - | Success Rate- | | 0 | 4d ago |
| Letter Finite-horizon v1 (test) | - | Success Rate- | | 0 | 4d ago |
