Under Control: Compositionally Correct Closure Conversion with Mutable State.

Phillip Mates Jamie Perconti Amal Ahmed

Published in: PPDP (2019)

Keyphrases

control system
data sets
control theory
learning algorithm
real time
data mining
artificial intelligence
decision trees
state space
vision system
control strategy
optimal control