wiki_research

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

vector_addition_system_pushdown (349B)

      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 - claimed decidable in [guttenberg2026pvass]
      8 
      9 Also with counters and with resets [schmitz2019coverability] (but for [coverability])
     10 
     11 Up: [vector_addition_system], [pushdown_automaton]