_id,doi,title
4388,10.1007/978-3-642-14295-6_57,GIST: A solver for probabilistic games