wiki_research

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

vector_addition_system_pushdown (303B)

      1 # Vector addition system pushdown
      2 
      3 [vector_addition_system] with [pushdown_automaton] store
      4 
      5 Unclear if [reachability] is [decidable], cf [ganardi2022reachability]
      6 
      7 Also with counters and with resets [schmitz2019coverability] (but for [coverability])
      8 
      9 Up: [vector_addition_system], [pushdown_automaton]