Dynamic Programming in Ordered Vector Space | Synapse