A bisimulation for dynamic sealing.

Eijiro Sumii Benjamin C. Pierce

Published in: POPL (2004)

Keyphrases

dynamic environments
decision making
preprocessing
data sets
decision trees
case study
similarity measure
reinforcement learning
data structure
highly dynamic