@misc{indiciaebdc1d94c66d9,
  title = {A11yLTLNav: Automatic Detection of Accessibility Navigation Failures},
  author = {Chenming Ge and Kewen Peng and Chengyang Shi and Ben Greenman and Yue Jiang},
  year = {2026},
  url = {https://arxiv.org/abs/2609.17959},
  note = {Source identifier: 2609.17959}
}