A11yLTLNav: Automatic Detection of Accessibility Navigation Failures

Accessibility · Human–Computer Interaction

University of Utah · May – Sep 2026
Advisors: Dr. Yue Jiang and Dr. Ben Greenman

Detecting accessibility failures that emerge during interaction, beyond what a static page check can reveal.

My contributions

Developed a taxonomy of navigation failures affecting blind and low-vision screen-reader users, drawing on prior literature and user studies.
Formalized navigation failures as Linear Temporal Logic (LTL) properties and implemented checks over interface interactions.
Built a web-agent baseline that navigates through screen-reader feedback and keyboard-only interaction.
Evaluated the checker on generated websites, achieving 88.7% precision.