Runtime Efficient State Compaction in SPIN.

Jaco Geldenhuys P. J. A. de Villiers

Published in: SPIN (1999)

Keyphrases

database
genetic algorithm
image processing
three dimensional
multi agent
search algorithm
preprocessing
multiresolution
dynamic programming