Stubborn Set Reduction for Two-Player Reachability Games

Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen +2

Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of…