Bernardo Freitas Paulo da Costa

Inner approximations

1

An initial version of inner approximations for Value functions. Currently, supports only `LinearPolicyGraphs`, and no belief/objective states.

Consider ```julia @variables x f = (-1 + sqrt(1 + 4*(x^2)) + 2*x) / (2*x) ``` The Taylor series for $f$ at $0$ is 1 + x - x^3 +...

Consider ```julia @variables x f = (-1 + sqrt(1 + 4*(x^2)) + 2*x) / (2*x) ``` The Taylor series for $f$ is $1 + x - x^3 + 2 x^5...

Question: Is Backwards Sampling compatible with `MULTI_CUT`?

3

I am not sure that Backwards Sampling can be used with MULTI_CUT - could it result in invalid cuts? In `algorithm.jl` (l. 794) there is ```julia for noise in sample_backward_noise_terms_with_state(...