Deductive verification of simple foraging robotic behaviours.

Abdelkader Behdenna Clare Dixon Michael Fisher

Published in: Int. J. Intell. Comput. Cybern. (2009)

Keyphrases

real time
object oriented
model checking
neural network
relational databases
formal verification
manipulation tasks