Reachability in Bidirected Pushdown VASS.

Moses Ganardi Rupak Majumdar Andreas Pavlogiannis Lia Schütze Georg Zetzsche

Published in: CoRR (2022)

Keyphrases

state space
transitive closure
model checking
databases
expressive power
multi dimensional
random walk
moving objects
markov chain
learning algorithm
shortest path
expert systems
query processing
search algorithm
data points