@misc{indiciae3c0f7cfb1547,
  title = {Live LTL Progress Tracking: Towards Task-Based Exploration},
  author = {Noel Brindise and Cedric Langbort and Melkior Ornik},
  year = {2026},
  url = {https://arxiv.org/abs/2604.17106},
  note = {Source identifier: 2604.17106}
}