DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2009-0003,5393,"KrCh,ToHe",Gist: A solver for probabilistic games