LTL Instruction Following on Letter Infinite-horizon (full)
7.13µAccSEMLTL
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SEMLTLTask Specification=SMALL, |Q|=7, |δ|=162026.02 | 7.13 | 4.76 | |
| DEEPLTLTask Specification=SMALL, |Q|=7, |δ|=162026.02 | 6.15 | — | |
| SEMLTLTask Specification=ALWAYS-REACTIVE[3, 2], |Q|=57, |δ|=2362026.02 | 5.6 | 4.81 | |
| DEEPLTLTask Specification=ALWAYS-REACTIVE[3, 2], |Q|=57, |δ|=2362026.02 | 5.28 | — | |
| SEMLTLTask Specification=COMPLEX-PATROL[3, 5], |Q|=39, |δ|=1942026.02 | 4.9 | 4.38 | |
| DEEPLTLTask Specification=COMPLEX-PATROL[3, 5], |Q|=39, |δ|=1942026.02 | 4.46 | — | |
| SEMLTLTask Specification=ALWAYS-REACTIVE[5, 1], |Q|=38, |δ|=2042026.02 | 3.06 | 7.06 | |
| SEMLTLTask Specification=ALWAYS-REACTIVE[6, 1], |Q|=71, |δ|=4462026.02 | 2.46 | 8.09 | |
| SEMLTLTask Specification=COMPLEX-PATROL[5, 5], |Q|=49, |δ|=2272026.02 | 1.83 | 6.44 | |
| DEEPLTLTask Specification=COMPLEX-PATROL[5, 5], |Q|=49, |δ|=2272026.02 | 1.78 | — |