TY  - RPRT
TI  - Live LTL Progress Tracking: Towards Task-Based Exploration
AU  - Noel Brindise
AU  - Cedric Langbort
AU  - Melkior Ornik
PY  - 2026
UR  - https://arxiv.org/abs/2604.17106
ID  - 2604.17106
ER  -