wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

vector_addition_system_pushdown (438B)

      1 # Vector addition system pushdown
      2 
      3 [vector_addition_system] with [pushdown_automaton] store
      4 
      5 Unclear if [reachability] is [decidable]
      6 - cf [ganardi2022reachability]
      7 - cf [biziere2025reachability] for one-dimensional
      8 - claimed decidable in [guttenberg2026pvass]
      9 
     10 Also with counters and with resets [schmitz2019coverability] (but for [coverability])
     11 
     12 Up: [vector_addition_system], [pushdown_automaton]
     13 
     14 Aliases: pushdown VAS, pushdown VASS