Sign in

Gist: A Solver for Probabilistic Games.

Krishnendu ChatterjeeThomas A. HenzingerBarbara JobstmannArjun Radhakrishna
Published in: CAV (2010)
Keyphrases