A Simple Proof that Ricochet Robots is PSPACE-Complete.

Jose Balanza-Martinez Angel A. Cantu Robert T. Schweller Tim Wylie

Published in: CoRR (2024)

Keyphrases

pspace complete
np complete
mobile robot
satisfiability problem
search algorithm
model checking
decision problems
database
np hard