Network Navigation with Online Delays is PSPACE-complete.

Thomas Depian Christoph Kern Sebastian Röder Soeren Terziadis Markus Wallinger

Published in: CoRR (2023)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
cellular automata
decision making
bayesian networks
reinforcement learning
relational databases
special case