For your information.

I happened to bounce onto the infer project:

It seems to be doing very complementary things to BFL: factor graphs, POMDPs, etc...
Its application context is also (robotics) motor control.

Herman