Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs.

Sren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jir Srba

Browse the full LOPSTR paper archive.