_id,doi,title 5393,10.15479/AT:IST-2009-0003,Gist: A solver for probabilistic games