![](/img/cover-not-exists.png)
Deductive verification of simple foraging robotic behaviours
Behdenna, Abdelkader, Dixon, Clare, Fisher, MichaelVolume:
2
Language:
english
Journal:
International Journal of Intelligent Computing and Cybernetics
DOI:
10.1108/17563780911005818
Date:
November, 2009
File:
PDF, 358 KB
english, 2009