Supplement for the paper
Detailed Simulation results for Section II
Difference in the steady state distribution for the two formulations
Detailed Simulation results for Section IV
Steady state distribution approximation errors and time for each algorithm
The simulations were conducted on a Dell Optiplex GX745 with a 2.4GHz Intel Core2 CPU and 2 GB of RAM.