type-theory set-theory asked Feb 8 '18 at 22:36

reinforcement-learning terminology policy stationary-policy asked Aug 20 '18 at 10:09