PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time.

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

Browse the full CAV paper archive.