LTL Instruction Following on LetterWorld Infinite-horizon
11.67µAccSEMLTL
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SEMLTLTask Formula=GF(a ∧ F b) ∨ GF(c ∧ F d) ∧ GF(e ∧ F f), |Q| (number of LDBA states)=7, |δ| (number of transitions)=152026.02 | 11.67 | 4.08 | |
| DEEPLTLTask Formula=GF(a ∧ F b) ∨ GF(c ∧ F d) ∧ GF(e ∧ F f), |Q| (number of LDBA states)=7, |δ| (number of transitions)=152026.02 | 9.72 | — | |
| SEMLTLTask Formula=GF a ∧ GF b ∧ GF c ∧ GF d ∧ G(¬e ∧ ¬f), |Q| (number of LDBA states)=6, |δ| (number of transitions)=162026.02 | 2.58 | 5.44 | |
| DEEPLTLTask Formula=GF a ∧ GF b ∧ GF c ∧ GF d ∧ G(¬e ∧ ¬f), |Q| (number of LDBA states)=6, |δ| (number of transitions)=162026.02 | 2.57 | — |