Search

• < Previous
• 1
• Next >

Stubborn Set Reduction for Two-Player Reachability Games

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 the explored state space. We present a theory of partial order reduction based on stubborn sets in the game-theoretical&nbsp;[&hellip;]