Delimited control in OCaml, abstractly and concretely.

Published in: Theor. Comput. Sci. (2012)

Keyphrases

control system
real world
control method
robot control
computer vision
data acquisition
learning algorithm
image processing
case study
image segmentation
cooperative
database
control strategy
robotic systems
control parameters
control theory
control structure