Applicative Bisimulations for Delimited-Control Operators.

Dariusz Biernacki Sergueï Lenglet

Published in: FoSSaCS (2012)

Keyphrases

control structures
control problems
control method
control strategy
learning algorithm
control theory
control system
case study
real world
edge detection
artificial neural networks
optimal control
search algorithm
adaptive control
control strategies
process control
robot control
decision trees
real time control