Gang Shen Peter E. Caines Hierarchically accelerated dynamic programming for finite-state machines. 271-283 2002 47 IEEE Trans. Autom. Control. 2 https://doi.org/10.1109/9.983355 db/journals/tac/tac47.html#ShenC02