Rush Hour is PSPACE-complete, or "Why you should generously tip parking lot attendants".
Gary William FlakeEric B. BaumPublished in: Theor. Comput. Sci. (2002)
Keyphrases
- pspace complete
- parking lot
- np complete
- model checking
- satisfiability problem
- decision problems
- aerial imagery
- strips planning
- contextual cues
- traffic congestion
- temporal logic
- tree automata
- computational complexity
- np hard
- coalition logic
- machine learning
- causal graph
- lidar data
- hidden markov models
- autonomous driving
- search algorithm
- computer vision