Login / Signup
Walking Through Doors Is Hard, Even Without Staircases: Proving PSPACE-Hardness via Planar Assemblies of Door Gadgets.
Joshua Ani
Jeffrey Bosboom
Erik D. Demaine
Yevhenii Diomidov
Dylan H. Hendrickson
Jayson Lynch
Published in:
FUN (2021)
Keyphrases
</>
random instances
computational complexity
humanoid robot
learning theory
data sets
decision procedures
planar surfaces
phase transition
temporal logic
line drawings
multi modal
computer vision
complexity bounds
database
waveguide
parallel manipulator
biped robot
mazurkiewicz traces