LTL Instruction Following on Zones Infinite-horizon (full)
914µaccDEEPLTL
Evaluation results
| Method | Links | ||
|---|---|---|---|
| DEEPLTLTask Specification=REACH-STAY[5], |Q|=34, |δ|=1162026.02 | 914 | — | |
| DEEPLTLTask Specification=REACH-STAY[4], |Q|=18, |δ|=522026.02 | 703 | — | |
| SEMLTLTask Specification=SMALL, |Q|=4, |δ|=102026.02 | 18.65 | 3.59 | |
| DEEPLTLTask Specification=SMALL, |Q|=4, |δ|=102026.02 | 14.5 | — | |
| SEMLTLTask Specification=ALWAYS-REACTIVE[3, 2], |Q|=57, |δ|=2362026.02 | 10.86 | 4.9 | |
| SEMLTLTask Specification=COMPLEX-PATROL[3, 5], |Q|=35, |δ|=1702026.02 | 9.17 | 4.28 | |
| DEEPLTLTask Specification=ALWAYS-REACTIVE[3, 2], |Q|=57, |δ|=2362026.02 | 8.08 | — | |
| DEEPLTLTask Specification=COMPLEX-PATROL[3, 5], |Q|=35, |δ|=1702026.02 | 5.27 | — | |
| SEMLTLTask Specification=ALWAYS-REACTIVE[5, 1], |Q|=38, |δ|=2042026.02 | 3.73 | 7 | |
| SEMLTLTask Specification=COMPLEX-PATROL[5, 5], |Q|=45, |δ|=2012026.02 | 2.44 | 6.33 | |
| DEEPLTLTask Specification=COMPLEX-PATROL[5, 5], |Q|=45, |δ|=2012026.02 | 2.13 | — | |
| SEMLTLTask Specification=REACH-STAY[4], |Q|=18, |δ|=522026.02 | 2 | 6.33 | |
| SEMLTLTask Specification=REACH-STAY[5], |Q|=34, |δ|=1162026.02 | 2 | 7.29 | |
| SEMLTLTask Specification=ALWAYS-REACTIVE[6, 1], |Q|=71, |δ|=4462026.02 | 1.43 | 8 |