Verified Functional Iterators Using the FoCaLiZe Environment.

Catherine Dubois Renaud Rioboo

Published in: SEFM (2014)

Keyphrases

mobile robot
dynamic environments
data structure
database
genetic algorithm
image sequences
multi agent
cooperative
information technology
multiresolution
hidden markov models
complex environments