Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
1
0
1
4
This work organizes accessibility navigation failures into a failure taxonomy and formalizes a browser-observable subset as executable Linear Temporal Logic properties over action-state traces and transforms accessibility knowledge into reusable checks of interface behavior over time.