@misc{indiciaeb51317fc63b7,
  title = {Temporal-Logic-Aware Frontier-Based Exploration},
  author = {Azizollah Taheri and Derya Aksaray},
  year = {2026},
  url = {https://arxiv.org/abs/2602.18951},
  note = {Source identifier: 2602.18951}
}