An approximate dynamic programming approach for comparing firing policies in a networked air defense environment. (May 2020)