Login / Signup

PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games.

Romain Brenguier
Published in: CAV (2013)
Keyphrases