Explorability in Pushdown Automata. - Ayaan Bedi; Karoliina Lehtinen (FSTTCS, 2025)