LTL Instruction Following on ZoneEnv Infinite-horizon
24.1Accuracy (µacc)SEMLTL
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SEMLTLTask Formula=GF orange ∧ GF gray, |Q| (number of LDBA states)=3, |δ| (number of transitions)=62026.02 | 24.1 | 3 | |
| DEEPLTLTask Formula=GF orange ∧ GF gray, |Q| (number of LDBA states)=3, |δ| (number of transitions)=62026.02 | 17.66 | — | |
| SEMLTLTask Formula=GF blue ∧ GF green ∧ GF orange ∧ G ¬pink, |Q| (number of LDBA states)=5, |δ| (number of transitions)=132026.02 | 13.19 | 4.09 | |
| DEEPLTLTask Formula=GF blue ∧ GF green ∧ GF orange ∧ G ¬pink, |Q| (number of LDBA states)=5, |δ| (number of transitions)=132026.02 | 11.33 | — |