On Roussel-Rubio-type lemmas and their consequences.

Nicolas Trotignon Kristina Vuskovic

Published in: Discret. Math. (2011)

Keyphrases

real time
cooperative
trade off
image segmentation
three dimensional
reinforcement learning
objective function
special case
mobile robot
theorem proving