GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs.

Anton Wijs Dragan Bosnacki

Published in: TACAS (2014)

Keyphrases

space exploration
state space
obstacle avoidance
search engine
general purpose
information systems
control system
mobile robot