Partial Order Reduction for Reachability Games.

Frederik M. Bnneland, Peter Gjl Jensen, Kim G. Larsen, Marco Muiz, Jir Srba

Browse the full CONCUR paper archive.